Curate-Ipsum

This is a program synthesis server that treats LLM-generated code as search seed rather than final output. It runs mutation testing across five frameworks (Stryker, mutmut, cosmic-ray, etc.), uses graph-spectral analysis to identify undertested regions, then applies CEGIS/CEGAR verification loops with Z3 and angr to produce formally verified patches. The belief revision engine tracks assertions with AGM-compliant entrenchment ordering, letting you roll back failed synthesis attempts while preserving learned constraints. You get 30 tools covering test orchestration, symbolic execution, reachability queries over call graphs, and semantic search via RAG indexing. Reach for this when you need mutation-resistant code with proof certificates, not just plausible completions.