MCP ServerSTDIOOfficialv0.1.0

mcp-z3-prover MCP Server

MCP server exposing Z3 solver API

io.github.daedalus/mcp-z3-prover

Hosted URL

https://github.com/daedalus/mcp-z3-prover

Transport

STDIO

Auth

No auth required

Connect to mcp-z3-prover

Hosted endpoint — paste into any MCP client.

https://github.com/daedalus/mcp-z3-prover

Where to find authoritative docs and source for mcp-z3-prover.

Open MCP Agent Studio and connect this server to Claude, GPT, Gemini, DeepSeek and more — no install required.

mcp-context-server

An MCP server that provides persistent multimodal context storage for LLM agents.

SmartMemory

Neuro-symbolic memory for LLMs (POC)

remote-mcp-server

Coupler.io remote MCP server

trip-planner

AI-native trip planning with flights, activities, accommodations, tasks, and maps.