Spaces:
Sleeping
Sleeping
Commit History
-
mathagent: end-to-end math problem-solving / proof agent on A-Evolve
96kevinli29 +1: Claude Opus 4.8Brain via LiteLLM (multi-provider), optional Python (sympy) and Lean verification capabilities, LaTeX/PDF/docx output, and a self-improving (verifier-grounded, git-tracked) evolution loop. CLI + FastAPI web UI share one MathAgent core. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>9aff26e