Browse and install MCP Apps and Servers — interactive dashboards, tools, and integrations that run inside ChatGPT, Claude, and other AI assistants.
Categories

kripner
Automated theorem prover powered by LLMs, featuring a planner-worker architecture and Lean 4 formal verification.

achmadya-dev
A comprehensive shared SDK wrapper for building MCP servers with built-in transport, tool registration, and schema validation.

sinadarbouy
Model Context Protocol server for seamless integration and management of NATS messaging systems.

scanadi
Persistent semantic memory for AI agents, enabling long-term knowledge retention across sessions.