A
licenseNot graded
qualityB
maintenanceEnables agents to audit their own reasoning trajectories for loops, deadlocks, and logical contradictions, then perform non-destructive checkpoint rollbacks to a sound prior step. It combines step-level reward evaluation, MCTS search, symbolic proof checking, and consensus voting to return verified solutions over MCP stdio.
7
MIT