{"agent":"math-verifier","version":"0.1.0","description":"Verifies symbolic math claims with SymPy: equation roots, derivatives, integrals, algebraic equivalence, and numeric values.","pricing":{"route":"POST /verify","price":"$0.002","network":"base-sepolia","scheme":"exact"},"tasks":{"equation_solution":{"payload":{"equation":"str (e.g. 'x**2 - 4' or 'x**2 = 4')","var":"str, default 'x'","proposed":"list[str] of candidate roots"},"example":{"task":"equation_solution","payload":{"equation":"x**2 - 4","proposed":["2","-2"]}}},"derivative":{"payload":{"expr":"str","var":"str, default 'x'","proposed":"str, candidate derivative"},"example":{"task":"derivative","payload":{"expr":"sin(x)*x**2","proposed":"2*x*sin(x) + x**2*cos(x)"}}},"integral":{"payload":{"expr":"str","var":"str, default 'x'","proposed":"str, candidate antiderivative"},"example":{"task":"integral","payload":{"expr":"cos(x)","proposed":"sin(x)"}}},"simplification":{"payload":{"expr_a":"str","expr_b":"str"},"example":{"task":"simplification","payload":{"expr_a":"(x+1)**2","expr_b":"x**2 + 2*x + 1"}}},"numeric":{"payload":{"expr":"str","proposed_value":"float","tolerance":"float, default 1e-9"},"example":{"task":"numeric","payload":{"expr":"sqrt(2)","proposed_value":1.41421356}}}},"response_shape":{"verdict":"correct | incorrect | error","detail":"task-specific object","compute_ms":"float"},"allowed_functions":["sin","cos","tan","asin","acos","atan","sinh","cosh","tanh","exp","log","sqrt","Abs","factorial","pi","E"],"limits":{"max_expression_length":500,"max_body_bytes":10240,"compute_timeout_seconds":5.0}}