Codebase Memory vs TLA+ (Temporal Logic of Actions)
Codebase Memory lists no tools and runs locally and TLA+ (Temporal Logic of Actions) lists no tools.
| Fact | Codebase Memoryio.github.DeusData/codebase-memory-mcp | 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 | Node.js | – |
| Licence | MIT | MIT |
| Latest version | 0.12.1 | 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 | 5,385 | Not known |
| Install | Install Codebase Memory | 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 Codebase Memory with othersCompare TLA+ (Temporal Logic of Actions) with others