Curate-Ipsum MCP server

Read from the package source without running it. The installed server may list more.

• add_assertion_tool

  Add a typed assertion to the theory.

• analyze_failure_tool

  Analyze a synthesis failure.

• belief_stability_tool

  Measure assertion stability.

• cancel_synthesis_toolwrite action
• check_region_relationship_tool

  Check containment/overlap relationship between regions.

• compute_partitioning

  Compute spectral partitioning and return the partition tree.

• contract_assertion_toolwrite action

  Remove an assertion via AGM contraction.

• create_region_toolwrite action

  Create a region identifier.

• detect_frameworks_tool

  Detect mutation frameworks in a project.

• extract_call_graph

  Extract call graph and return summary statistics.

• find_function_partition

  Find which partition a function belongs to.

• get_entrenchment_tool

  Get entrenchment score for a node.

• get_hierarchy

  Get hierarchical decomposition of the call graph.

• get_provenance_tool

  Get provenance DAG summary.

• get_region_metrics_tool

  Compute PID-like metrics and mutation score for a specific region within a project.

• get_run_history_toolwrite action

  Return recent unit, integration, and mutation runs for a project and optional region.

• get_theory_snapshot_tool

  Get current theory state.

• graph_query_toolwrite action

  Execute a structured graph query.

• incremental_update_toolwrite action

  Detect file changes and update graph incrementally.

• list_assertions_tool

  List assertions with optional filtering.

• list_synthesis_runs_tool
• list_verification_backends_tool

  List available verification backends.

• list_world_history_tool

  List historical world states.

• parse_region_tool

  Parse a region string into components.

• persistent_graph_stats_tool

  Get statistics from the persistent graph store.

• query_reachability

  Query reachability between two functions.

• rag_index_nodes_tool

  Index code nodes for RAG retrieval.

• rag_search_tool

  Search for relevant code via RAG pipeline.

• rag_stats_tool

  Get statistics about the RAG vector store.

• revise_theory_tool

  Revise theory with new assertion, contracting contradictions.

• rollback_to_tool

  Rollback to a prior world state.

• run_integration_tests_toolwrite action

  Run integration tests for a project and return a summarized result.

• run_mutation_tests_toolwrite action
• run_unit_tests_toolwrite action

  Run unit tests for a project and return a summarized result.

• store_evidence_tool

  Store evidence in the theory.

• synthesis_status_tool
• synthesize_patch_toolwrite action
• undo_last_operations_tool

  Undo last N operations.

• verify_property_toolwrite action

  Run verification with the specified backend.

• verify_with_orchestrator_toolwrite action

  Run CEGAR orchestrator with budget escalation.

• why_believe_tool

  Trace evidence chain for an assertion.

• Code scan76 source files scanned20/25
• –Live reliabilityno gateway calls yet and no remote to proben/a
• –Tool poisoningtools not inspected (local package is not executed); not countedn/a
• Auth qualitylocal package, no credentials required12/15
• Maintenancelast push 229 days ago4/15
• Maintainer identityregistry namespace matches repository owner; GitHub account older than a year8/10

Curate-Ipsum: common questions

Is Curate-Ipsum MCP server safe?

With care: it is graded C, so read the findings first (68/100). Read the Curate-Ipsum safety report

How do I install Curate-Ipsum?

It runs on your machine. Copy the Claude Code, Cursor, VS Code or Claude Desktop config from the install section.

Does Curate-Ipsum need an API key?

No secret keys are declared. It reads 7 settings from the environment.

Is Curate-Ipsum maintained?

The last commit was 244 days ago (2026-02-11). The latest release is v2.5.1.