by midspiral · Claude Skill · ★ 29
Make agents prove that their code is correct.
| Stars | 29 |
| Forks | 1 |
| Language | JavaScript |
| Category | Claude Skill |
| License | MIT |
| Quality Score | 40.25/100 |
| Last Updated | 2026-03-25 |
| Created | 2026-02-24 |
| Platforms | claude-code, node |
| Est. Tokens | ~7k |
Explore other popular claude skill tools:
lemmafit is Make agents prove that their code is correct.. It is categorized as a Claude Skill with 29 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 29 stars and 1 forks, indicating an active community.
lemmafit is released under the MIT license, making it free to use and modify according to the license terms.