midspiral/lemmafit
Make agents prove that their code is correct.
This helps software developers create robust applications by ensuring their core business logic is mathematically proven to be correct. It takes requirements and formal logic written in Dafny, verifies them, and then outputs TypeScript code that can be integrated into a web application. This is ideal for developers building new applications where correctness and reliability are paramount.
Available on npm.
Use this if you are a software developer building a new application and want to guarantee the mathematical correctness of your critical business logic.
Not ideal if you are working on an existing, large codebase and only need to verify small parts of it, or if your primary development environment is not JavaScript/TypeScript.
Stars
25
Forks
—
Language
JavaScript
License
MIT
Category
Last pushed
Mar 12, 2026
Commits (30d)
0
Dependencies
3
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/agents/midspiral/lemmafit"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
TracecatHQ/tracecat
AI-native automation platform for security teams. Purpose-built for agents. Open source for builders.
coze-dev/coze-loop
Next-generation AI Agent Optimization Platform: Cozeloop addresses challenges in AI agent...
j3ssie/osmedeus
A Modern Orchestration Engine for Security
AgentOps-AI/agentops
Python SDK for AI agent monitoring, LLM cost tracking, benchmarking, and more. Integrates with...
SWE-agent/SWE-agent
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It...