Higgsfield — Cinematic AI video and images from text or a reference image, with consistent charactersTry Higgsfield

sahibzada-allahyar/Formal-Verification-RSI

A Lean 4 and Dafny proof checker for AI-generated proofs and verified recursive self-improvement in coding agents.

As of Oct 29, 2026, sahibzada-allahyar/Formal-Verification-RSI has 2,863 GitHub stars, +13 since Oct 22, 2026, #356 among AI agents this week.

Total stars
2,863
Last day
+5
Since Oct 22, 2026
+13
Weekly rank
#1226
Category
AI agents
Language
Python

Stars gained per day

2026-10-22: +22026-10-23: +22026-10-24: +02026-10-25: +22026-10-26: +12026-10-27: +12026-10-28: +5

Oct 22, 2026 – Oct 28, 2026 · peak +5/day

Links

Formal-Verification-RSI alternatives in AI agents

  • deepseek-ai/deepseek-harness · 265,334 ★ · +7,829 /7dDeepSeek's open-source agent harness with a plugin-based architecture, runnable via npx as a web UI.
  • stablyai/orca · 109,493 ★ · +7,646 /7dOrca orchestrates multiple coding agents in parallel git worktrees across desktop, mobile, and remote runtimes.
  • affaan-m/ECC · 292,080 ★ · +6,126 /7dPerformance layer for coding agents like Claude Code, adding skills, memory, security and review workflows.
  • TauricResearch/TradingAgents · 118,063 ★ · +5,390 /7dMulti-agent LLM framework that analyzes financial data and simulates trading decisions.
  • makecindy/cindy · 8,388 ★ · +5,135 /7dOpen-source client for Cindy, a local AI agent that runs Claude Code and Codex harnesses.
  • Panniantong/Agent-Reach · 105,882 ★ · +5,107 /7dCLI tool that gives AI agents free access to read and search web platforms like Twitter, Reddit, and YouTube.
  • ai-job-search-dev/ai-job-search · 67,299 ★ · +4,169 /7dClaude Code-based framework that evaluates job postings and tailors CVs, cover letters, and interview prep.
  • vectorize-io/hindsight · 55,835 ★ · +3,315 /7dAgent memory system providing retain, recall, and reflect operations with LLM wrappers and MCP integration.

Badge for your README

Data: daily star-total snapshots from the GitHub GraphQL API; stars gained = difference between snapshots. GitHub search and GH Archive are used to find repos. Updated daily around 02:30 UTC, counting through the last complete UTC day. · By Kai

How we rank · Weekly archive · RSS · JSON API