Proof CLI (unofficial) vs Next Devtools
Proof CLI (unofficial) lists no tools and runs locally and Next Devtools lists no tools and runs locally.
| Fact | Proof CLI (unofficial)io.github.tsarlewey/proof-cli | Next Devtoolsio.github.vercel/next-devtools-mcp |
|---|---|---|
| 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 | Local |
| Needs first | Docker | Node.js |
| Licence | Not stated | MIT |
| Latest version | 0.4.1 | 0.3.6 |
| Known advisories | 0 | 0 |
| 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 | 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 |
| Downloads last week | Not known | 74,748 |
| Install | Install Proof CLI (unofficial) | Install Next Devtools |
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 Proof CLI (unofficial) with othersCompare Next Devtools with others