mcptoon vs TLA+ (Temporal Logic of Actions)
mcptoon lists no tools and runs locally and TLA+ (Temporal Logic of Actions) lists no tools.
| Fact | mcptoonio.github.activeing123/mcptoon | 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 | APACHE-2.0 | MIT |
| Latest version | 0.8.34 | 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 mcptoon | 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 mcptoon with othersCompare TLA+ (Temporal Logic of Actions) with others