# midspiral/LemmaScript

<https://repo.masters-masters.com/en/repos/midspiral/LemmaScript>

[Home](https://repo.masters-masters.com/en) › [midspiral](https://repo.masters-masters.com/en/owners/midspiral) › [LemmaScript](https://repo.masters-masters.com/en/repos/midspiral/LemmaScript)

midspiral/LemmaScript has 130 stars on GitHub. Its RepoMasters card: Prototype tier. verification toolchain for TypeScript (Tech Preview) Language: TypeScript.

| Field | Value |
| --- | --- |
| Owner | [midspiral](https://repo.masters-masters.com/en/owners/midspiral) |
| Stars | 130 |
| Forks | 17 |
| Language | [TypeScript](https://repo.masters-masters.com/en/languages/typescript) |
| License | MIT |
| Created | 2026 |
| Topics | dafny, lean, lean4, lemmascript, typescript, ai, llm, verification |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [midspiral/LemmaScript](https://github.com/midspiral/LemmaScript) |

## Repository

verification toolchain for TypeScript (Tech Preview)

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in TypeScript

- [Stellar-Kolo/kolo-frontend · ★ 130 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/Stellar-Kolo/kolo-frontend)
- [Stellar-Clear/clearledger · ★ 130 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/Stellar-Clear/clearledger)
- [SheikhDynamo/aegis-crossmarket · ★ 130 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/SheikhDynamo/aegis-crossmarket)
- [ku/CreateLink · ★ 130 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/ku/CreateLink)
- [spathon/Visual-JOIN · ★ 130 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/spathon/Visual-JOIN)
- [ratneshsinghparihar/Node-Data · ★ 130 · TypeScript · Prototype](https://repo.masters-masters.com/en/repos/ratneshsinghparihar/Node-Data)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.