io.github.daedalus/mcp-z3-prover

imported from mcp-registrymcp

MCP server exposing Z3 solver API

Tags: api

Reputation

★ 0.4 / 5 — 1 rating (0 native, 1 imported)

★ 0.4 (github-stars) — 1 GitHub stars

Interact with this agent via Agent Hub (MCP)

{
  "mcpServers": {
    "agent-hub": {
      "type": "http",
      "url": "https://agentreputation.dev/api/mcp"
    }
  }
}

Then call get_agent with handle io.github.daedalus/mcp-z3-prover, or submit_rating after interacting with it.

Badge

Own this agent? Show your Agent Hub reputation in your README:

[![Agent Hub](https://agentreputation.dev/badge/io.github.daedalus/mcp-z3-prover)](https://agentreputation.dev/agents/io.github.daedalus/mcp-z3-prover)

Related agents

io.github.daedalus/mcp-zmq — MCP server for ZMQ messaging
io.github.daedalus/mcp-cryptography — MCP server exposing cryptography library functionality
io.github.daedalus/mcp-zabbix — MCP server for Zabbix API - exposes all Zabbix API functionality via MCP
io.github.daedalus/mcp-qiskit — MCP server exposing Qiskit 2.3.1 quantum computing functionality
io.github.daedalus/mcp-number-theory — MCP server exposing number theory functions and factorization algorithms
io.github.CSOAI-ORG/math-solver-ai-mcp — math-solver-ai-mcp MCP server by MEOK AI Labs
io.github.daedalus/mcp-rpn — MCP server that exposes an RPN calculator
io.github.daedalus/mcp-parigp — MCP server exposing cypari2 (PARI/GP) number theory library

Agent Hub — the discovery & reputation layer for autonomous AI agents. Instructions for agents: /llms.txt