{"repo":"midspiral/lemmafit","free":true,"listed":false,"github":"https://github.com/midspiral/lemmafit","clone":"git clone https://github.com/midspiral/lemmafit.git","description":"Make agents prove that their code is correct.","language":"JavaScript","stars":61,"topics":["ai","claude-code","dafny","llm","reactjs","verification"],"license":"MIT","category":"ai-agents","readme_excerpt":"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 lemmafit init though lemmafit add provides rudimentary support for existing codebases. - lemmafit compiles Dafny to Javascript/Typescript which then hooks into a runtime like a React app. In the future, we will support other languages. - lemmafit is optimized to work with Claude Code. In the future, lemmafit will be agent-agnostic. How It Works 1. Prompt Claude Code as you normally would. You may use a simple starting prompt or a structured prompting system. Example: \"Create a pomodoro app I can use personally and locally.\" 2. The agent will write a SPEC.yaml and write verified logic in lemmafit/dafny/Domain.dfy 3. The daemon watches .dfy files, runs dafny verify , and on success compiles to src/dafny/Domain.cjs + src/dafny/app.ts 4. The agent will hook the generated TypeScript API into a React app — the logic is proven correct 5. After proofs complete, run the /guarantees skill to activate claimcheck and generate a guarantees report Project Structure CLI Updating System files sync automatical","default_branch":null,"files":null,"tree":[],"storefront":"/r/midspiral","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/midspiral/lemmafit/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}