{"serverId":"mcp-registry/dev.fly.obol-x402/obol","tools":[{"name":"add","fixed":{"name":"add","description":"Adds two numbers and returns the sum.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["a","b"],"properties":{"a":{"type":"number"},"b":{"type":"number"}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Add"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":73,"tokensAfter":73}],"toolsChanged":1,"tokensSaved":0,"todo":[{"tool":"add","params":["a","b"]}],"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."}