agent-device vs TLA+ (Temporal Logic of Actions)
agent-device lists no tools and runs locally and TLA+ (Temporal Logic of Actions) lists no tools.
| Fact | agent-deviceio.github.callstack/agent-device | 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.21.36 | 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 | 217,590 | Not known |
| Install | Install agent-device | 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 agent-device with othersCompare TLA+ (Temporal Logic of Actions) with others