Browserstack vs Z3 Prover
Browserstack lists no tools and runs remotely and Z3 Prover lists no tools and runs locally.
| Fact | Browserstackio.github.browserstack/mcp-server | Z3 Proverio.github.daedalus/mcp-z3-prover |
|---|---|---|
| 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 | Remote | Local |
| Needs first | – | uv |
| Licence | AGPL-3.0-ONLY | MIT |
| Latest version | 2.6.1 | 0.1.0 |
| Known advisories | 0 | 0 |
| Works in | Claude Desktop, Claude Code, Cursor, VS Code, Devin Desktop, Zed, Cline, Continue, Goose, LM Studio, Gemini CLI, Codex, oterm, 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 | 14,918 | Not known |
| Install | Install Browserstack | Install Z3 Prover |
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 Browserstack with othersCompare Z3 Prover with others