Millennium Harness checks Lean 4 and Dafny proofs and rejects fakes until an agent proves the theorem without loopholes.
sahibzada-allahyar
DeveloperGitHub (opens in a new tab)
sahibzada-allahyar has published 1 vetted tool for AI agents in the catalog: 1 CLI tool.
All cards
1 cardIn short
It comes with an install command and an access level with reasons.
How to install
Did not find what you need from this author? Describe the task and Foxx AI will pick cards from the whole catalog. Match with Foxx AI
Access of the author’s cards
- extended1