opum-ai / proof-skills
git clone https://github.com/opum-ai/proof-skills.git
Formal verification for real codebases with Claude Code: TLA+ and Lean 4 skills that find, reproduce, fix and prove concurrency and state bugs. MIT, by Opum AI.
+0
stars, 24h · #68,326
+~0
stars, 7 days · #67,642
+~0
stars, 30 days · #66,922
25
★ total
6
forks · 0 open issues
Star history (as recorded here)
LanguagePython
LicenseMIT
Created2026-09-25 (1mo ago)
Last push1mo ago
OwnerOrganization
Links
README
Loading README…