{"serverId":"mcp-registry/io.github.arnopiva/crs-binder","tools":[{"name":"binder_seal","fixed":{"name":"binder_seal","description":"Seal ≥2 distinct rails under task_id into a portable Ed25519 binder (~$0.05 USDC on Base when paid).","inputSchema":{"type":"object","title":"binder_sealArguments","required":["task_id"],"properties":{"task_id":{"type":"string","title":"Task Id"},"x402_proof":{"title":"X402 Proof","default":null,"type":"string"}}}},"changes":[{"kind":"schema","detail":"Added \"type\":\"string\" to untyped parameters: x402_proof. Change to number/boolean/array where that's what you accept.","verify":true}],"tokensBefore":94,"tokensAfter":99},{"name":"health","fixed":{"name":"health","description":"Liveness, rails, pubkey, paid/listing flags.","inputSchema":{"type":"object","title":"healthArguments","properties":{}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":43,"tokensAfter":43}],"toolsChanged":2,"tokensSaved":0,"todo":[{"tool":"binder_append","params":["leaf","task_id"]},{"tool":"binder_seal","params":["task_id","x402_proof"]},{"tool":"binder_verify","params":["binder"]}],"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."}