Kodimo
Popular repositories Loading
Repositories
Showing 1 of 1 repositories
- levee Public
Levee autoformalizes your rulebook (business logic, domain constraints, policy docs) into Lean 4 specs, then enforces them against AI agents at runtime. Formal verification for agentic AI: rules an LLM agent can’t talk its way around.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…