VerifyLoop

LLM-based math solver using Google ADK and Gemini 2.5. Integrates Python MCP server for step execution and verification. Offers computationally validated step-by-step solutions. Extensible for multi-strategy checks in various STEM domains.