Curate MCP Server

Code synthesis through belief revision, mutation testing, and verification

Local serverstdioPython

What is the Curate MCP Server?

Code synthesis through belief revision, mutation testing, and verification

What it actually does

Curate-Ipsum bridges the gap between LLM-generated code (fast, plausible, unverified) and formally verified patches (slow, correct, trustworthy). It treats mutation testing as one component of a larger system for maintaining robust, self-healing codebase metadata that supports reachability analysis, symbolic execution, and automated test generation.

More MCP options

Compare MCP servers by category, or browse hosted MCP servers if you prefer an endpoint over a local process.

Maintainer setup documentation.

How to install the Curate MCP Server

{
  "mcpServers": {
    "curate-ipsum": {
      "command": "uvx",
      "args": ["curate-ipsum"],
      "env": {
        "CHROMA_HOST": "your-value"
      }
    }
  }
}

Add to claude_desktop_config.json, then restart Claude Desktop.

Configuration

VariableDescriptionRequired
CHROMA_HOSTEndpoint or connection string the server talks to.Optional

Example prompts to try

  • “Use Curate to Architecture.”
  • “Use Curate to Reference.”

Frequently asked questions

Code synthesis through belief revision, mutation testing, and verification Confirm the tools offered by your installed version in the connected client. Tool availability and permissions depend on the server and account configuration.