Plugins

math-proof

Refines math proofs with adversarial verification.