midspiral
We build tools that prove your AI code is correct.
Pinned Loading
Repositories
Showing 10 of 32 repositories
- henri-lemmascript Public
LemmaScript case study of henri: a small, hackable agent CLI, with explicit control via tools, permissions, and hooks
midspiral/henri-lemmascript’s past year of commit activity - github-star-checker-lemmascript Public
LemmaScript case study of a CLI to check star counts on GitHub
midspiral/github-star-checker-lemmascript’s past year of commit activity - quota-lemmascript Public
LemmaScript case study of an app to book slots offered per page by providers
midspiral/quota-lemmascript’s past year of commit activity - equality-game-lemmascript Public
LemmaScript case study of a game where the goal is to make two sides equal
midspiral/equality-game-lemmascript’s past year of commit activity - lemmascript-claimcheck Public
claimcheck for LemmaScript, comparing informal //@ contract with formal //@ requires and //@ ensures
midspiral/lemmascript-claimcheck’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…