midspiral
We build tools that prove your AI code is correct.
Pinned Loading
Repositories
Loading
Type
Select type
Language
All
Public
Sources
Forks
Archived
Mirrors
Templates
Select language
Sort
All
Dafny
JavaScript
Lean
Shell
TypeScript
Select order
Last updated
Name
Stars
Showing 10 of 42 repositories
- henri-lemmascript Public
LemmaScript case study of henri: a small, hackable agent CLI, with explicit control via tools, permissions, and hooks
- lemmascript-dafny-benchmark-runs Public
Reproducible Claude Code runs for the LemmaScript Dafny proof-completion benchmark
- 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
- 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
Top languages
Loading…
Most used topics
Loading…