AgentCC
Provides graph-spectral code synthesis with formal verification by orchestrating mutation testing, belief revision, and synthesis loops.