Specula
Open-source agentic formal-methods framework that derives TLA+ specifications from system code, model-checks state spaces, validates traces, and reproduces confirmed bugs.
Score breakdown
Calculated with startup-score-v1
Why this score?
Startup Score 78 from verified shipping only.
- Recency · Last verified ship was 17 hours ago.
- Consistency · Active in 9 of the last 12 weeks.
- Shipping intensity · 9 active shipping day(s) in the last 30 (capped at 12).
- Streak · Current weekly streak: 2 (capped at 26).
Coverage, stars, downloads and attention signals do not enter this score.
Verified activity
Score history
Verified share cards
Share only moments backed by verified data. Place deltas appear only when a prior rank snapshot exists.
- Specula: score 78Use for OG image
- Specula unlocked 100-github-stars Active OG image
- Specula unlocked 10-github-starsUse for OG image
Live share card preview
Ready-to-share text
Specula unlocked 100-github-stars — see the verified profile on StartupScores: https://startupscores.com/open-source/specula?share=badge_unlock%3A100-github-stars
Live SVG badge
Embed this verified badge anywhere. Claiming is not required.
[](https://startupscores.com/open-source/specula)Builders
No verified builders yet.
Verified sources
Related Tools in Developer tools