sahibzada-allahyar/Formal-Verification-RSI
Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and softw
- Stars
- 2.9k
- Forks
- 126
- Open issues
- 149
- Last push
- today
About Formal-Verification-RSI
Formal-Verification-RSI is a free, open-source AI agent tool by sahibzada-allahyar, written mainly in Python. Formal verification for AI: a Lean 4 + Dafny proof checker that catches fake AI proofs (reward hacking), and verified recursive self-improvement (RSI) for coding agents. AI for math, physics and softw. It has 2.9k GitHub stars and 126 forks, and was last updated today. It's released under the MIT license, a standard open-source license.
- License
- MIT
- Language
- Python
- Stars
- 2,852
- Last update
- today
- Runs on Mac
- Not stated
- GPU
- Not stated
- Paid API key
- Not stated
- Self-hostable
- Not stated
Similar free tools
hermes-agent256k stars · The agent that grows with you
dify159k stars · Build Agentic workflows, RAG pipelines, with rich AI model and tool support on one collaborative workspace. Deploy on cloud, VPC, or self-hosted, so teams move from prototype to production without reb
claude-code-best-practice68k stars · from vibe coding to agentic engineering - practice makes claude perfect
ponytail173k stars · Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.
paperclip106k stars · The open-source app everyone uses to manage agents at work
anything-llm67k stars · Stop renting your intelligence. Own it with AnythingLLM. Everything you need for a powerful local-first agent experience
Formal-Verification-RSI FAQ
Is Formal-Verification-RSI free?
Yes. Formal-Verification-RSI is open source and free to use. It's released under the MIT license, a standard open-source license.
Does Formal-Verification-RSI run on a Mac?
The project doesn't say. Check its installation guide before you start.
Does Formal-Verification-RSI need a GPU?
The project doesn't state hardware needs. AI models generally run much faster with a GPU.
Is Formal-Verification-RSI still maintained?
Yes. It was last updated today and has 149 open issues on GitHub.
What are alternatives to Formal-Verification-RSI?
Similar free, open-source tools include hermes-agent, dify, claude-code-best-practice, ponytail.