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
-
-
-
-
-
- pi-lemmascript Public Forked from earendil-works/pi
LemmaScript case study of Pi: AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
- 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
- opencode-lemmascript Public Forked from anomalyco/opencode
LemmaScript case study of OpenCode: The open source coding agent.
-
