Specula MCP Server
specula-org/Specula
Are you the maintainer of specula-org/Specula? Claim this listing →
Specula: An agentic tool for finding deep bugs in system code using TLA+
Add AgentRank to Claude Code Discover and compare tools like specula-org/Specula — your AI finds the right one automatically
Get API Access → claude mcp add agentrank -- npx -y agentrank-mcp-server Overview
specula-org/Specula is a Python agent tool licensed under Apache-2.0. Specula: An agentic tool for finding deep bugs in system code using TLA+
Ranked #1150 out of 24850 indexed tools.
In the top 5% of all indexed tools.
Actively maintained with commits in the last week.
Ecosystem
Python Apache-2.0
Score Breakdown
Stars 15% 489
489 stars → growing community
Freshness 25% today
Last commit today → actively maintained
Issue Health 25% 0%
0/6 issues closed → many open issues
Contributors 10% 0
0 contributors → solo project
Dependents 25% 0
No dependents → no downstream usage
npm Downloads N/A
PyPI Downloads N/A
Forks 55
Description Good
License Apache-2.0
Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →
How to Improve
Description low impact
Issue Health high impact
Contributors medium impact
Badge all embed codes →
[](https://agentrank-ai.com/tool/specula-org--Specula/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/tool/specula-org--Specula/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/tool/specula-org--Specula" alt="AgentRank"></a> Matched Queries
Get the weekly AgentRank digest
Top movers, new tools, ecosystem insights — straight to your inbox.