Curate-Ipsum

Code synthesis through belief revision, mutation testing, and verification

Connector by egoughnour · GitHub account verified by the MCP Registry

IndexedMITLocal (stdio)

Chalk Labs

Need help deploying Curate-Ipsum?

Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.

Book a call

Install

Works with Claude Code, Codex, VS Code, Claude Desktop, Cursor, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install connector/egoughnour-curate-ipsum

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

About

Code synthesis through belief revision, mutation testing, and verification

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list and install config. Checked Oct 25, 2026.

Tools: 23 read · 9 write · 1 delete · 8 not yet classified
Secrets: None asked for
Install scripts: Not scanned yet
Runs as: Python package

Tools by what they do 41

Read from the source code; the running server may list different tools.

Read 23 · Look things up without changing anything.

analyze_failure_tool
belief_stability_tool
check_region_relationship_tool
compute_partitioning
detect_frameworks_tool
extract_call_graph
find_function_partition
get_entrenchment_tool
get_hierarchy
get_provenance_tool
get_region_metrics_tool
get_run_history_tool

Show 11 more tools

get_theory_snapshot_tool
list_assertions_tool
list_synthesis_runs_tool
list_verification_backends_tool
list_world_history_tool
parse_region_tool
persistent_graph_stats_tool
query_reachability
rag_search_tool
rag_stats_tool
synthesis_status_tool

Write 9 · Create, change, send or run things.

add_assertion_tool
cancel_synthesis_tool
create_region_tool
incremental_update_tool
run_integration_tests_tool
run_mutation_tests_tool
run_unit_tests_tool
store_evidence_tool
synthesize_patch_tool

Delete 1 · Delete, drop, revoke or wipe things.

rollback_to_tool

Not yet classified 8 · We could not tell from the name and description.

contract_assertion_tool
graph_query_tool
rag_index_nodes_tool
revise_theory_tool
undo_last_operations_tool
verify_property_tool
verify_with_orchestrator_tool
why_believe_tool

Secrets and settings it asks for

Other settings (environment variables or headers).

CHROMA_HOST
CURATE_IPSUM_GRAPH_BACKEND
EMBEDDING_MODEL
MUTATION_TOOL_DATA_DIR
MUTATION_TOOL_LOG_LEVEL

Network hosts it talks to 1

github.com · found in install command

Files it touches

Any path the agent passes to its tools

Tools (41)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

add_assertion_tool
Add an assertion to the synthesis theory with evidence grounding. Assertions are typed beliefs about code (type, behavior, invariant, contract). Each assertion must be grounded by evidence (test results, mutation results, etc.).
analyze_failure_tool
Analyze why a synthesis attempt failed. Classifies the failure mode (type mismatch, overfitting, underfitting, etc.) and suggests which assertions to contract to fix the issue.
belief_stability_tool
Measure the stability of an assertion. Returns a score from 0.0 (constantly revised) to 1.0 (never touched). Unstable assertions may need stronger evidence or reformulation.
cancel_synthesis_tool
Cancel a running synthesis. Sets a cancellation flag that the CEGIS engine checks between iterations.
check_region_relationship_tool
Check if one region contains or overlaps another. Useful for aggregating metrics across related regions. A file region contains all functions within it; a function region contains its line ranges.
compute_partitioning
Compute Fiedler spectral partitioning of a project's call graph. Recursively bipartitions the graph using the Fiedler vector (2nd eigenvector of the graph Laplacian). Returns a partition tree with node assignments and algebraic connectivity (λ₂) values.
contract_assertion_tool
Contract (remove) an assertion from the theory using AGM contraction. Strategies: 'entrenchment' (removes target and less-entrenched dependents), 'minimal' (target and edges only), 'full_cascade' (target and all descendants).
create_region_tool
Create a region identifier for a specific code location. Use level='file' for whole file, 'function' for a function, 'class' for a class, or 'lines' for a line range.
detect_frameworks_tool
Detect available mutation testing frameworks and project language. Returns detected frameworks with confidence scores and a recommendation for which framework to use.
extract_call_graph
Extract and analyze the call graph of a Python project. Returns summary statistics: node count, edge count, SCC count, connected components, and top-level function list.
find_function_partition
Find which partition a function belongs to in the Fiedler partition tree. Returns the partition ID, sibling functions in the same partition, and the entry/exit points of that partition.
get_entrenchment_tool
Get the entrenchment score for an assertion. Entrenchment measures belief resilience (0.0-1.0, higher = more entrenched). Highly entrenched beliefs are harder to remove via contraction.
get_hierarchy
Get the hierarchical decomposition of a project's call graph. Alternates between SCC condensation and Fiedler spectral partitioning to produce a tree representing the project's modular structure.
get_provenance_tool
Get the provenance DAG summary for a project's synthesis theory. Shows the history of belief revision operations: expansions, contractions, revisions, and evidence storage events.
get_region_metrics_tool
Compute PID-like metrics and mutation score for a specific region within a project.

Show 26 more tools

get_run_history_tool
Return recent unit, integration, and mutation runs for a project and optional region.
get_theory_snapshot_tool
Get a snapshot of the current synthesis theory. Returns the world bundle with all nodes, edges, and evidence.
graph_query_tool
Execute a structured graph query against the persistent store. Supports query types: 'neighbors' (get adjacent nodes), 'reachability' (check if source reaches target via Kameda O(1) index), and 'node' (get node details). Uses stored graph data without re-extraction.
incremental_update_tool
Detect file changes and update the persisted call graph incrementally. Compares file hashes to find added/modified/removed files, then updates only the affected graph nodes. Much faster than full re-extraction.
list_assertions_tool
List all assertions in the synthesis theory. Optionally filter by assertion type (type, behavior, invariant, contract) or by region ID.
list_synthesis_runs_tool
List all synthesis runs for a project. Returns a summary of past runs with outcomes, iterations, and fitness.
list_verification_backends_tool
List available verification backends and their capabilities. Shows which find/avoid predicates and constraint types each backend supports.
list_world_history_tool
List all historical world states for a project's synthesis theory. Returns world hashes with timestamps and reasons, useful for understanding theory evolution and choosing rollback targets.
parse_region_tool
Parse a region identifier string into its components. Regions use a hierarchical format: file:<path>::class:<name>::func:<name>::lines:<start>-<end>. Useful for understanding region hierarchy.
persistent_graph_stats_tool
Get statistics from the persistent graph store for a project. Returns node count, edge count, whether Kameda index and partitions are stored, backend type, and last update timestamp.
query_reachability
Query reachability between two functions in a project's call graph. Uses Kameda O(1) index for planar subgraphs with BFS fallback for non-planar edges. Returns whether the source can reach the target, the method used, and the path if reachable via BFS.
rag_index_nodes_tool
Index code nodes into the RAG vector store for semantic search. Each node should have an ID, text content, and optional metadata.
rag_search_tool
Search the RAG vector store for code relevant to a query. Optionally expands results using the project's call graph.
rag_stats_tool
Get statistics about the RAG vector store.
revise_theory_tool
Revise the theory by incorporating a new assertion. If the new assertion contradicts existing beliefs, those are first contracted (via AGM revision / Levi identity) before adding the new belief.
rollback_to_tool
Revert the synthesis theory to a prior world state. Uses content-addressable storage — no data is lost, only the current world pointer changes.
run_integration_tests_tool
Run integration tests for a project and return a summarized result.
run_mutation_tests_tool
Run mutation tests and return summarized mutation statistics. Supports multiple frameworks: stryker (JS/TS), mutmut (Python). If tool is not specified, auto-detects based on project structure.
run_unit_tests_tool
Run unit tests for a project and return a summarized result.
store_evidence_tool
Store a piece of evidence (test result, mutation result, etc.) in the synthesis theory. Evidence is required to ground assertions.
synthesis_status_tool
Check the status of a completed synthesis run. Returns iteration count, fitness history, counterexamples resolved, and outcome.
synthesize_patch_tool
Start CEGIS synthesis to generate a patch that kills a surviving mutant. The engine uses LLM candidates + genetic algorithm evolution + counterexample feedback to produce a verified patch. Returns a SynthesisResult dict.
undo_last_operations_tool
Undo the last N belief revision operations. Walks backward through the provenance DAG to find the prior world state, then rolls back to it.
verify_property_tool
Run formal verification on a binary or constraint set. Supports Z3 (constraint solving), angr (Docker symbolic execution), and mock backends. Returns verification status and any counterexample found.
verify_with_orchestrator_tool
Run the CEGAR verification orchestrator with budget escalation. Chains verification attempts with progressively larger budgets (10s → 30s → 120s). Returns aggregated result with iteration history.
why_believe_tool
Trace the evidence chain for an assertion. Returns the list of evidence IDs that ground (support) a given assertion, answering 'why do we believe this?'.

Signals

Stars: 0
Forks: 0
Open issues: 0
Weekly downloads: 55
Last commit: Feb 11, 2026 (8 months ago)
Last release: Feb 11, 2026 (8 months ago)
Last package publish: Feb 11, 2026 (8 months ago)

From GitHub (fetched Oct 24, 2026) and the package registry.

Details

Registry name: io.github.egoughnour/curate-ipsum
Version: 2.5.1
Auth: No auth
Packages: pypi curate-ipsummcpb https://github.com/egoughnour/curate-ipsum/releases/download/v2.5.1/curate-ipsum.mcpb
License: MIT
Repository: github.com/egoughnour/curate-ipsum
First seen: Oct 24, 2026
Last checked: Oct 24, 2026
Source: Official MCP Registry github-graphql

More from egoughnour

Done for you

Rather not set it up yourself?

Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.

See how we build AI agents →Read the case studies

Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.

launches shipped: 50+; launches shipped
media placements: 500+; media placements
founders on every account: 2; founders on every account

Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block

Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.

Get Curate-Ipsum running in your business

Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.

Need help deploying Curate-Ipsum?

Call Get help

Cite this page

Curate-Ipsum MCP server. Agent Mart. https://agentmart.dev/connectors/egoughnour-curate-ipsum (last updated 2026-10-24)