by midspiral · Claude Skill · ★ 37
Make agents prove that their code is correct.
| Stars | 37 |
| Forks | 2 |
| Language | JavaScript |
| Category | Claude Skill |
| License | MIT |
| Quality Score | 40.25/100 |
| Last Updated | 2026-04-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 37 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 37 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.