midspiral / LemmaScript
verification toolchain for TypeScript (Tech Preview)
Why this job: works in the areas we cover, but does not say which job it does
What it does
A verification toolchain for TypeScript. Write ordinary TypeScript with //@ specification annotations. The toolchain generates verifiable code from your TypeScript — either in Dafny or Lean 4 (with Velvet 2).
Get started
npm install -g lemmascript- Maintenance
- Active
- Last commit yesterday
- Stars
- 164
- +31 this week
- Licence
- MIT
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- TypeScript
- 95% of the code
Is it looked after?
- Contributors
- 7
- Last 90 days
- Issues
- 55% closed
- 17 still open
- Pull requests
- 226 merged
- 12 waiting
- Releases
- None
- Never published
- Contributing guide (opens in new tab)
- No security policy
- No code of conduct
Similar repos
| Repo | Stars | Last commit | Licence | Downloads for |
|---|---|---|---|---|
| lean-dojo / LeanDojo | 852 | 9 months ago | MIT | No downloads |
| namin / llm-verified-with-monte-carlo-tree-search | 297 | 3 months ago | MIT | No downloads |
| fabio-rovai / open-ontologies | 2,871 | yesterday | MIT | Mac, Windows, Linux |
More: languages, topics and project record
Languages
- TypeScript 95%
- Shell 2%
- JavaScript 1%
- Lean 1%
Topics
- dafny
- lean
- lean4
- lemmascript
- typescript
- ai
- llm
- verification
Project record
- JobOther AI tools
- StatusListed
- Commits1,248
- Forks19
- Watching1
- Stars in 28 days+47
- CreatedMar 30, 2026
- First seen by usNov 7, 2026
- CheckedNov 12, 2026