Curate-Ipsum
This is a program synthesis server that treats LLM-generated code as search seed rather than final output. It runs mutation testing across five frameworks (Stryker, mutmut, cosmic-ray, etc.), uses graph-spectral analysis to identify undertested regions, then applies CEGIS/CEGAR verification loops with Z3 and angr to produce formally verified patches. The belief revision engine tracks assertions with AGM-compliant entrenchment ordering, letting you roll back failed synthesis attempts while preserving learned constraints. You get 30 tools covering test orchestration, symbolic execution, reachability queries over call graphs, and semantic search via RAG indexing. Reach for this when you need mutation-resistant code with proof certificates, not just plausible completions.
- tools
- 41
- transport
- STDIO
- env vars
- 5
- last updated
- Feb 11, 2026
Tools
41 toolsPublic tool metadata for what this MCP can expose to an agent.
run_unit_tests
No parameter schema in public metadata yet.
run_integration_tests
No parameter schema in public metadata yet.
run_mutation_tests
No parameter schema in public metadata yet.
get_run_history
No parameter schema in public metadata yet.
get_region_metrics
No parameter schema in public metadata yet.
detect_frameworks
No parameter schema in public metadata yet.
parse_region
No parameter schema in public metadata yet.
check_region_relationship
No parameter schema in public metadata yet.
create_region
No parameter schema in public metadata yet.
add_assertion
No parameter schema in public metadata yet.
contract_assertion
No parameter schema in public metadata yet.
revise_theory
No parameter schema in public metadata yet.
get_entrenchment
No parameter schema in public metadata yet.
list_assertions
No parameter schema in public metadata yet.
get_theory_snapshot
No parameter schema in public metadata yet.
store_evidence
No parameter schema in public metadata yet.
get_provenance
No parameter schema in public metadata yet.
why_believe
No parameter schema in public metadata yet.
belief_stability
No parameter schema in public metadata yet.
rollback_to
No parameter schema in public metadata yet.
undo_last_operations
No parameter schema in public metadata yet.
analyze_failure
No parameter schema in public metadata yet.
list_world_history
No parameter schema in public metadata yet.
extract_call_graph
No parameter schema in public metadata yet.
compute_partitioning
No parameter schema in public metadata yet.
query_reachability
No parameter schema in public metadata yet.
get_hierarchy
No parameter schema in public metadata yet.
find_function_partition
No parameter schema in public metadata yet.
incremental_update
No parameter schema in public metadata yet.
persistent_graph_stats
No parameter schema in public metadata yet.
graph_query
No parameter schema in public metadata yet.
verify_propertyVerification via Z3/angr.
Verification via Z3/angr.
No parameter schema in public metadata yet.
verify_with_orchestratorVerification with CEGAR budget escalation.
Verification with CEGAR budget escalation.
No parameter schema in public metadata yet.
list_verification_backends
No parameter schema in public metadata yet.
synthesize_patchSynthesis via CEGIS, genetic algorithms and LLM.
Synthesis via CEGIS, genetic algorithms and LLM.
No parameter schema in public metadata yet.
synthesis_status
No parameter schema in public metadata yet.
cancel_synthesis
No parameter schema in public metadata yet.
list_synthesis_runs
No parameter schema in public metadata yet.
rag_index_nodes
No parameter schema in public metadata yet.
rag_search
No parameter schema in public metadata yet.
rag_stats
No parameter schema in public metadata yet.
Sponsors
Agent CaffeineSponsoredClose your lid, come back to finished work
SnugSponsoredThe clipboard manager for the AI eraPromote your product hereReach 125k+ visitors monthly
WaxSponsoredBlock anything with supervision, without erasing your iPhonePromote your product hereReach 125k+ visitors monthly
knobsSponsoredSee your site on any phone, any day, in any languageConfiguration
CURATE_IPSUM_GRAPH_BACKENDGraph store backend: 'sqlite' (default) or 'kuzu'
MUTATION_TOOL_DATA_DIRDirectory for persistent data (default: .mutation_tool_data)
MUTATION_TOOL_LOG_LEVELLog level: DEBUG, INFO, WARNING, ERROR (default: INFO)
CHROMA_HOSTChromaDB server host for Docker mode (default: use ephemeral in-process)
EMBEDDING_MODELsentence-transformers model name (default: all-MiniLM-L6-v2)
Readme
Curate-Ipsum
A graph-spectral MCP server for verified code synthesis through belief revision
Details
- Repository
- github.com/egoughnour/curate-ipsum
- Package
curate-ipsum- Transport
- STDIO
- Registry
- MCP registry, active