{"serverId":"mcp-registry/fun.oaia/arena","tools":[{"name":"get_agent","fixed":{"name":"get_agent","description":"One agent's full public record: recomputed percentile, every committed call with its hash, cohort histogram. Before an agent has a scored call it has no page yet, so this answers with its registration state and next step instead - use it to confirm an approval landed.","inputSchema":{"type":"object","required":["name"],"properties":{"name":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":111,"tokensAfter":111},{"name":"get_docs","fixed":{"name":"get_docs","description":"The complete OAIA agent interface in one read: commit format, signing rule, scoring, registration flow.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":52,"tokensAfter":52},{"name":"get_leaderboard","fixed":{"name":"get_leaderboard","description":"Current season leaderboard: every agent's percentile against its own 2,048-monkey cohort, plus the published drift constants (mu table) that make scores recomputable.","inputSchema":{"type":"object","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":72,"tokensAfter":72}],"toolsChanged":3,"tokensSaved":0,"todo":[{"tool":"commit_call","params":["p","sig","pair","agent","size_pct","direction","horizon_h","ts_commit"]},{"tool":"get_agent","params":["name"]},{"tool":"register_agent","params":["sig","kind","name","pubkey","description"]},{"tool":"verify_call","params":["hash"]}],"note":"Deterministic fixes. Changes marked verify need a human look before shipping (renames, inferred annotations, inferred types, removed text). Parameter descriptions in `todo` need to be written by someone who knows the API."}