{"name":"io.github.egoughnour/curate-ipsum","slug":"egoughnour-curate-ipsum","title":"Curate-Ipsum","description":"Code synthesis through belief revision, mutation testing, and verification","url":"https://mcp.market/server/egoughnour-curate-ipsum","rating":null,"grade":"C","score":68,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":10,"stars":0,"forks":0,"downloads_week":23,"last_push_at":"2026-02-11T13:53:49.000Z","license":"MIT"},"uptime":null,"claimed":false,"transport":"mixed","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/egoughnour/curate-ipsum","website":null,"version":"2.5.1","remotes":[],"packages":[{"registryType":"pypi","identifier":"curate-ipsum","version":"2.5.1","transport":{"type":"stdio"},"environmentVariables":[{"description":"Graph store backend: 'sqlite' (default) or 'kuzu'","format":"string","name":"CURATE_IPSUM_GRAPH_BACKEND"},{"description":"Directory for persistent data (default: .mutation_tool_data)","format":"string","name":"MUTATION_TOOL_DATA_DIR"},{"description":"Log level: DEBUG, INFO, WARNING, ERROR (default: INFO)","format":"string","name":"MUTATION_TOOL_LOG_LEVEL"},{"description":"ChromaDB server host for Docker mode (default: use ephemeral in-process)","format":"string","name":"CHROMA_HOST"},{"description":"sentence-transformers model name (default: all-MiniLM-L6-v2)","format":"string","name":"EMBEDDING_MODEL"}]},{"registryType":"mcpb","identifier":"https://github.com/egoughnour/curate-ipsum/releases/download/v2.5.1/curate-ipsum.mcpb","version":"2.5.1","fileSha256":"408b6c6f3b0da7729da37f434cea4d08253635fab9acdd69595b6a5641416f43","transport":{"type":"stdio"},"environmentVariables":[{"description":"Graph store backend: 'sqlite' (default) or 'kuzu'","format":"string","name":"CURATE_IPSUM_GRAPH_BACKEND"},{"description":"Directory for persistent data (default: .mutation_tool_data)","format":"string","name":"MUTATION_TOOL_DATA_DIR"}]}],"tools":[{"name":"add_assertion_tool","description":"Add a typed assertion to the theory.","write_action":false,"price_micros":0,"input_schema":null},{"name":"analyze_failure_tool","description":"Analyze a synthesis failure.","write_action":false,"price_micros":0,"input_schema":null},{"name":"belief_stability_tool","description":"Measure assertion stability.","write_action":false,"price_micros":0,"input_schema":null},{"name":"cancel_synthesis_tool","description":"","write_action":true,"price_micros":0,"input_schema":null},{"name":"check_region_relationship_tool","description":"Check containment/overlap relationship between regions.","write_action":false,"price_micros":0,"input_schema":null},{"name":"compute_partitioning","description":"Compute spectral partitioning and return the partition tree.","write_action":false,"price_micros":0,"input_schema":null},{"name":"contract_assertion_tool","description":"Remove an assertion via AGM contraction.","write_action":true,"price_micros":0,"input_schema":null},{"name":"create_region_tool","description":"Create a region identifier.","write_action":true,"price_micros":0,"input_schema":null},{"name":"detect_frameworks_tool","description":"Detect mutation frameworks in a project.","write_action":false,"price_micros":0,"input_schema":null},{"name":"extract_call_graph","description":"Extract call graph and return summary statistics.","write_action":false,"price_micros":0,"input_schema":null},{"name":"find_function_partition","description":"Find which partition a function belongs to.","write_action":false,"price_micros":0,"input_schema":null},{"name":"get_entrenchment_tool","description":"Get entrenchment score for a node.","write_action":false,"price_micros":0,"input_schema":null},{"name":"get_hierarchy","description":"Get hierarchical decomposition of the call graph.","write_action":false,"price_micros":0,"input_schema":null},{"name":"get_provenance_tool","description":"Get provenance DAG summary.","write_action":false,"price_micros":0,"input_schema":null},{"name":"get_region_metrics_tool","description":"Compute PID-like metrics and mutation score for a specific region within a project.","write_action":false,"price_micros":0,"input_schema":null},{"name":"get_run_history_tool","description":"Return recent unit, integration, and mutation runs for a project and optional region.","write_action":true,"price_micros":0,"input_schema":null},{"name":"get_theory_snapshot_tool","description":"Get current theory state.","write_action":false,"price_micros":0,"input_schema":null},{"name":"graph_query_tool","description":"Execute a structured graph query.","write_action":true,"price_micros":0,"input_schema":null},{"name":"incremental_update_tool","description":"Detect file changes and update graph incrementally.","write_action":true,"price_micros":0,"input_schema":null},{"name":"list_assertions_tool","description":"List assertions with optional filtering.","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_synthesis_runs_tool","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_verification_backends_tool","description":"List available verification backends.","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_world_history_tool","description":"List historical world states.","write_action":false,"price_micros":0,"input_schema":null},{"name":"parse_region_tool","description":"Parse a region string into components.","write_action":false,"price_micros":0,"input_schema":null},{"name":"persistent_graph_stats_tool","description":"Get statistics from the persistent graph store.","write_action":false,"price_micros":0,"input_schema":null},{"name":"query_reachability","description":"Query reachability between two functions.","write_action":false,"price_micros":0,"input_schema":null},{"name":"rag_index_nodes_tool","description":"Index code nodes for RAG retrieval.","write_action":false,"price_micros":0,"input_schema":null},{"name":"rag_search_tool","description":"Search for relevant code via RAG pipeline.","write_action":false,"price_micros":0,"input_schema":null},{"name":"rag_stats_tool","description":"Get statistics about the RAG vector store.","write_action":false,"price_micros":0,"input_schema":null},{"name":"revise_theory_tool","description":"Revise theory with new assertion, contracting contradictions.","write_action":false,"price_micros":0,"input_schema":null},{"name":"rollback_to_tool","description":"Rollback to a prior world state.","write_action":false,"price_micros":0,"input_schema":null},{"name":"run_integration_tests_tool","description":"Run integration tests for a project and return a summarized result.","write_action":true,"price_micros":0,"input_schema":null},{"name":"run_mutation_tests_tool","description":"","write_action":true,"price_micros":0,"input_schema":null},{"name":"run_unit_tests_tool","description":"Run unit tests for a project and return a summarized result.","write_action":true,"price_micros":0,"input_schema":null},{"name":"store_evidence_tool","description":"Store evidence in the theory.","write_action":false,"price_micros":0,"input_schema":null},{"name":"synthesis_status_tool","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"synthesize_patch_tool","description":"","write_action":true,"price_micros":0,"input_schema":null},{"name":"undo_last_operations_tool","description":"Undo last N operations.","write_action":false,"price_micros":0,"input_schema":null},{"name":"verify_property_tool","description":"Run verification with the specified backend.","write_action":true,"price_micros":0,"input_schema":null},{"name":"verify_with_orchestrator_tool","description":"Run CEGAR orchestrator with budget escalation.","write_action":true,"price_micros":0,"input_schema":null},{"name":"why_believe_tool","description":"Trace evidence chain for an assertion.","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":68,"grade":"C","scanned_at":"2026-09-28T14:28:41.096Z","report":{"scannerVersion":"0.1.10","scannedAt":"2026-09-28T14:28:41.072Z","components":{"code":{"score":20,"max":25,"notes":["76 source files scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (local package is not executed); not counted"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":4,"max":15,"notes":["last push 229 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[{"id":"exec.eval","severity":"medium","component":"code","title":"eval / new Function used","evidence":"curate_ipsum-2.5.1/curate_ipsum/verification/runners/run_angr.py: … model[name] = int(found_state.solver.eval(sym, cast_to=int)) trace = [{\"addr\"…"}],"inputs":{"packages":[{"registryType":"pypi","identifier":"curate-ipsum","version":"2.5.1","found":true,"weeklyDownloads":23,"license":"MIT","dependencyCount":27,"publishedAt":"2026-02-11T13:59:47.793573Z","repositoryUrl":"https://github.com/egoughnour/curate-ipsum"}],"repo":{"found":true,"owner":"egoughnour","repo":"curate-ipsum","archived":false,"pushedAt":"2026-02-11T13:53:49Z","stars":0,"forks":0,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/457471?v=4","ownerCreatedAt":"2010-10-28T05:29:35Z","license":"MIT"},"icon":{"url":"https://avatars.githubusercontent.com/u/457471?v=4&s=128","source":"github"},"presence":{"stars":0,"forks":0,"downloadsWeek":23,"license":"MIT","lastPushAt":"2026-02-11T13:53:49.000Z","score":10}}}},"grade_history":[],"reviews":[]}