sahibzada-allahyar/Formal-Verification-RSI
用Lean 4与Dafny检查AI证明，并验证编码代理的递归自我改进。
截至 2026年10月29日，sahibzada-allahyar/Formal-Verification-RSI 共有 2,863 个 Star，2026年10月22日 以来新增 13 个，在本周AI 智能体榜排第 356。
- 总 Star
- 2,863
- 近 1 天
- +5
- 2026年10月22日 起
- +13
- 本周总榜
- #1226
- 分类
- AI 智能体
- 语言
- Python
每日新增 Star
2026年10月22日 – 2026年10月28日 · 峰值 +5/天
链接
同类AI 智能体项目
- deepseek-ai/deepseek-harness · 265,334 ★ · +7,829 /7天DeepSeek AI 开源的智能体运行框架，采用一切皆插件的架构，可通过 npx 启动 Web 界面。
- stablyai/orca · 109,493 ★ · +7,646 /7天Orca 是一款多智能体编排工具，在独立 git worktree 中并行运行编码代理，支持桌面、移动与远程环境。
- affaan-m/ECC · 292,080 ★ · +6,126 /7天面向 Claude Code 等编码智能体的优化系统，提供技能、记忆、安全与研究流程。
- TauricResearch/TradingAgents · 118,063 ★ · +5,390 /7天基于多智能体大模型的金融交易分析框架，用于研判行情与辅助交易决策。
- makecindy/cindy · 8,388 ★ · +5,135 /7天Cindy 开源客户端，本地运行、可接入 Claude Code 与 Codex 的 AI Agent。
- Panniantong/Agent-Reach · 105,882 ★ · +5,107 /7天为 AI Agent 提供免费读取和搜索推特、Reddit、YouTube 等平台的命令行工具。
- ai-job-search-dev/ai-job-search · 67,299 ★ · +4,169 /7天基于 Claude Code 的求职框架，用于评估职位、定制简历和求职信并准备面试。
- vectorize-io/hindsight · 55,835 ★ · +3,315 /7天面向智能体的记忆系统，提供记忆留存、检索与反思操作，支持LLM封装与MCP集成。
给 README 加徽章
数据：GitHub GraphQL API 每日 Star 总数快照，新增 Star = 两次快照之差；GitHub 搜索与 GH Archive 用于发现项目。 每天北京时间 10:30 左右更新，统计到前一个完整 UTC 日。 · 整理：Kai