midspiral
We build tools that prove your AI code is correct.
Pinned Loading
Repositories
Showing 10 of 42 repositories
- lemmascript-dafny-benchmark-runs Public
Reproducible Claude Code runs for the LemmaScript Dafny proof-completion benchmark
- opencode-lemmascript Public Forked from anomalyco/opencode
LemmaScript case study of OpenCode: The open source coding agent.
-
-
- henri-lemmascript Public
LemmaScript case study of henri: a small, hackable agent CLI, with explicit control via tools, permissions, and hooks
- lemmascript-crosscheck Public
Fuzzing and differential testing for LemmaScript-verified TypeScript: checks the proof transfers to the running code.
-
- node-casbin-lemmascript Public Forked from apache/casbin-node-casbin
LemmaScript case study of node-casbin: An authorization library that supports access control models like ACL, RBAC, ABAC in Node.js and Browser
Top languages
Loading…
Most used topics
Loading…