A growing agent-native ecosystem
LemmaScript works well on its own, but it works better with support from our tools.
-
claimcheck
Confirms your contract says exactly what you meant — it reads the plain-English claim against the formal clauses and surfaces gaps.
-
CI
A GitHub Action that fails the build on any unmet contract — enforced on every pull request, no matter who (or what) opened it.
-
CLI
The whole toolchain from your terminal. Every step of the loop is a command, so you or your agent can run any of it anywhere a shell runs.
-
Skills
Drop-in skills that teach agents when and how to use LemmaScript. Use them with any agent and extend them to your codebase and workflow.
-
VSCode extension
Makes contracts a first-class part of your editor:
//@clauses get real syntax highlighting, so they read as language, not comments. Deeper editor support coming soon. -
lemmascript-seal
An append-only ledger of your guarantees. Freezes every contract so edits can never weaken or remove existing guarantees.
-
runtime-guard
Keeps the guarantees alive in the running app: a call that breaks a contract fails loudly and points at the problem, instead of returning a wrong answer. Your UI can also ask "is this call allowed?" before making it.
Coming soon -
sepui
Keeps business logic out of your UI. Flags any component deciding or computing on domain data and prints the exact chain, so the rules live only in the core.
Coming soon
The ecosystem is still stabilizing — pieces will keep sharpening as the tech preview matures.
The next tool comes from you
Every tool above started the same way: someone used LemmaScript and noticed a possible gap or improvement. Use it on your own projects, find the tool or improvement you wish existed (big or small!) and either request it or build and submit a PR.