Curate-Ipsum MCP
Curate-Ipsum is a graph-spectral MCP server that bridges the gap between LLM-generated code and formally verified patches. It uses belief revision, mutation testing, and verification to maintain robust codebase metadata, supporting reachability analysis, symbolic execution, and automated test generation. It exposes 30 tools over the MCP stdio transport for testing, belief revision, rollback, graph-spectral analysis, verification, and synthesis.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
What you can do with it
- Run unit, integration, and mutation tests
- Revise code theories using belief revision frameworks
- Verify code properties using Z3 or angr
- Synthesize patches using CEGIS, genetic algorithms, or LLMs
Source and maintenance
- Last repository push
- Latest release
- v2.5.1
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
https://github.com/egoughnour/curate-ipsum/releases/download/v2.5.1/curate-ipsum.mcpb 2.5.1
{
"version": "2.5.1",
"transport": "stdio",
"fileSha256": "408b6c6f3b0da7729da37f434cea4d08253635fab9acdd69595b6a5641416f43",
"identifier": "https://github.com/egoughnour/curate-ipsum/releases/download/v2.5.1/curate-ipsum.mcpb",
"registryType": "mcpb",
"environmentVariables": [
{
"name": "CURATE_IPSUM_GRAPH_BACKEND",
"format": "string",
"description": "Graph store backend: 'sqlite' (default) or 'kuzu'"
},
{
"name": "MUTATION_TOOL_DATA_DIR",
"format": "string",
"description": "Directory for persistent data (default: .mutation_tool_data)"
}
]
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Maintenance history
Public check and source-refresh events. Editorial and ownership records remain private.
- · repository · passed · metadata changed · updated
- · backfill · recorded · Pre-expansion baseline; unobserved rich metadata remains unknown
Let your agent find its tools
Find servers like Curate-Ipsum MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.