specula-org / Specula
git clone https://github.com/specula-org/Specula.git
v1.2.0 · 1mo ago
Specula: An agentic tool for finding deep bugs in system code using TLA+
+3
stars, 24h · #8,240
+~52
stars, 7 days · #4,114
+~225
stars, 30 days · #3,682
573
★ total · +10% this week
63
forks · 8 open issues
Star history (as recorded here)
LanguagePython
LicenseApache-2.0
Created2025-06-15 (1y ago)
Last push14d ago
Watchers8
OwnerOrganization
Links
README
Loading README…