mcpindex.aiv0
← Index

io.github.daedalus/mcp-z3-prover

io.github.daedalus/mcp-z3-prover·v0.1.0·Other
Quality Score
75
/100

MCP server exposing Z3 solver API

Repository →
§01  Install
Claude Desktop (uvx)
{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}
§03  MCP Quality Score  ·  methodology
freshness
25
completeness
5
installability
25
documentation
15
stability
5
§04  Alternatives in Other
agency.lona/trading
agency.lona/trading

AI-powered trading strategy development: backtesting, market data, and portfolio analysis

ABMeter
ai.abmeter/abmeter

Feature flagging and A/B testing platform with AI-first experimentation workflows.

AdAdvisor MCP Server
ai.adadvisor/mcp-server

Query Meta Ads performance data — accounts, campaigns, ad sets, ads, metrics & settings.