specula-org/Specula
View on GitHub ↗ ★ 643 Python
Specula: An agentic tool for finding deep bugs in system code using TLA+
4 mentions on Hacker News by 2 people: 1 story, 3 comments · first 2026-03-25 · latest 2026-09-30
20082026
-
…it’ll find stuff it wouldn’t have otherwise, the Specula folks have some experience with this. https://github.com/specula-org/Specula
comment by baq · 2026-09-30 · in What TLA+ can and can't check -
…given code, it can build a model in TLA+ and find latent bugs which it'll likely miss otherwise. ( https://github.com/specula-org/Specula )
comment by baq · 2026-08-16 · in The Case Against Formal Verification, 50 Years Later -
…it more difficult than it should to find the actual tool (needed to click twice! abysmal, really): https://github.com/specula-org/Specula Ran it on my tricky caching changes and it found bugs the standard agentic review flows missed on all…
comment by baq · 2026-05-19 · in Intro to TLA+ for the LLM Era: Prompt Your Way to Victory