Serena MCP: the IDE for your agent vs TLA+ (Temporal Logic of Actions)
Serena MCP: the IDE for your agent lists no tools and runs locally and TLA+ (Temporal Logic of Actions) lists no tools.
| Fact | Serena MCP: the IDE for your agentio.github.oraios/serena | TLA+ (Temporal Logic of Actions)io.github.tlaplus/vscode-tlaplus |
|---|---|---|
| Score | Not checked yet | Not checked yet |
| Status | Not checked yet | Not checked yet |
| Tools | 0 | 0 |
| Can write data | No tools listed | No tools listed |
| Runs | Local | Not known |
| Needs first | uv | – |
| Licence | MIT | MIT |
| Latest version | 1.5.3 | 2026.10.231438 |
| Known advisories | 0 | Not checked yet |
| Works in | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, mcp-client-cli, oterm, TUUI, BoltAI, Agenvoy, Amp, AnythingLLM, Augment Code, Bob Shell, ECA, Kiro, Kiro CLI | No install config |
| Downloads last week | Not known | Not known |
| Install | Install Serena MCP: the IDE for your agent | Install TLA+ (Temporal Logic of Actions) |
Scores and status come with our own checks, which have not run on these servers yet. The rest is from the publishers' registry entries, package registries and advisory databases.
Compare Serena MCP: the IDE for your agent with othersCompare TLA+ (Temporal Logic of Actions) with others