specula-org/Specula

Specula: An agentic tool for finding deep bugs in system code using TLA+

3 best points · 0 comments · 1 Hacker News post · 634 GitHub stars · View on GitHub

Hacker News discussions

• Specula: A framework for finding deep bugs in system code using TLA+ (3 points, 0 comments, by matt_d, 2026-03-25)