Curate-Ipsum

Curate-Ipsum is a graph-spectral MCP server for verified code synthesis that integrates LLM-based code generation, mutation testing, belief revision, and formal verification. It provides 30 tools grouped around testing, belief revision, rollback, graph analysis, formal property verification, and code synthesis, accessible to AI assistants via the MCP protocol. The framework supports reachability analysis, symbolic execution, and automated test/synthesis workflows, with integration for frameworks like KLEE, Z3, SymPy, Stryker, mutmut, and more. Curate-Ipsum is ideal for researchers, advanced developers, and tool integrators seeking trustworthy, formally-verified code generation and robust codebase management.