Curate-Ipsum¶
Graph-spectral framework for verified code synthesis through belief revision
Curate-Ipsum is an MCP server that bridges the gap between LLM-generated code (fast, plausible, unverified) and formally verified patches (slow, correct, trustworthy). It treats mutation testing as input to a CEGIS/CEGAR synthesis loop powered by belief revision, graph-spectral analysis, and RAG-augmented context retrieval.
Getting Started¶
Architecture & Design¶
- Architecture
- Design Documents
- Architectural Vision: Graph-Theoretic Code Analysis Framework
- Synthesis Framework: From LLM Candidates to Strongly-Typed Patches
- Belief Revision Framework: Totalizing Theories with Provenance
- Decision Log
- Curate-Ipsum Roadmap
- Curate-Ipsum — Progress Log
- BRS Integration Plan for Curate-Ipsum
- py-brs v2.0.0 Integration: Refactoring Plan
- Phase 2: Graph-Spectral Infrastructure — Implementation Plan
- M1: Multi-Framework Foundation - Implementation Plan
- Curate-Ipsum Project Summary
- Potential Directions for Curate-Ipsum
- Synergies: Mutation Testing Ecosystem Integration
- LPython + KLEE Integration Feasibility Assessment
- Milestones M1-M3 Completeness Audit