by midspiral · Claude Skill · ★ 50
lemmafit Make agents prove that their code is correct. Read our launch post: Introducing lemmafit: A Verifier in the AI Loop. Lemmafit integrates Dafny formal verification into your development workflow via Claude Code. Business logic, state machines, and other logic are written in Dafny, mathematically verified, then auto-compiled to TypeScript for use in your React app. Quick Start Use Cases / Considerations lemmafit works with greenfield projects. You typically begin a project with though provides rudimentary support for existing codebases.
| Stars | 50 |
| Forks | 2 |
| Language | JavaScript |
| Category | Claude Skill |
| License | MIT |
| Quality Score | 70.9994017452816/100 |
| Last Updated | 2026-06-02 |
| Created | 2026-02-24 |
| Platforms | claude-code, node |
| Est. Tokens | ~8k |
Explore other popular claude skill tools:
lemmafit is Make agents prove that their code is correct.. It is categorized as a Claude Skill with 50 GitHub stars.
lemmafit is primarily written in JavaScript. It covers topics such as ai, claude-code, dafny.
You can find installation instructions and usage details in the lemmafit GitHub repository at github.com/midspiral/lemmafit. The project has 50 stars and 2 forks, indicating an active community.
lemmafit is released under the MIT license, making it free to use and modify according to the license terms.