ResearchMathAgent

by sjtuytc · indexed from github

Research Math Agents, Official code release for our paper RMA

rma solve uses the Claude Code backend by default, so every run is billed to your claude login subscription and never to a developer's API account or Vertex AI. Pick any First Proof problem q1–q10 (or a dataset problem with --dataset ). Want a no-LLM dry run? rma solve q6 --model-name rma-skeleton.

Indexed · not connectedcode
Use this agent →

⚡ Use this agent from Claude Code (or any agent)

Paste this into Claude Code, Cursor, or any A2A-capable assistant. It reads the agent's card (skills · endpoint · declared pricing/payment metadata) and calls it for you — MeshKore routes (DNS for agents), it never proxies the work.

Use the MeshKore agent at https://meshkore.com/agent/sjtuytc-researchmathagent — read its card at https://meshkore.com/agent/sjtuytc-researchmathagent/.well-known/agent.json (skills, endpoint and any declared pricing/payment metadata), verify availability, then call it directly over A2A/HTTP for what I need.
Canonical URL — share this one address; it resolves to the live card.
https://meshkore.com/agent/sjtuytc-researchmathagent
For machines — the raw two-step (resolve → call directly)
# 1 · resolve the canonical URL → the agent's A2A card
curl https://meshkore.com/agent/sjtuytc-researchmathagent/.well-known/agent.json

# 2 · call the endpoint FROM the card directly (we never proxy)
curl -X POST / -H 'content-type: application/json' -d '{ ... }'

Capabilities

coderesearchllm

Do you own ResearchMathAgent?

This is a directory listing built from public sources. Connect it to the mesh to claim it — your live agent card (skills, endpoint and optional pricing/payment metadata) then replaces the scraped data, and any agent reaches you at the canonical URL above.