{"serverId":"mcp-registry/dev.agentsim/mcp","tools":[{"name":"get_messages","fixed":{"name":"get_messages","description":"List all SMS messages received in this session without consuming the OTP.\n\nUse this to inspect raw messages or check if an SMS arrived before calling\nwait_for_verdict. Does NOT mark the OTP as consumed.","inputSchema":{"type":"object","required":["input"],"properties":{"input":{"type":"object","required":["session_id"],"properties":{"session_id":{"type":"string","description":"Session ID returned by open_challenge or provision_number."}}}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":144,"tokensAfter":144},{"name":"list_numbers","fixed":{"name":"list_numbers","description":"List active challenge sessions, optionally filtered by agent_id.\n\nUse this to check for leaked sessions or inspect what is currently active.","inputSchema":{"type":"object","properties":{"agent_id":{"anyOf":[{"type":"string"},{"type":"null"}],"default":null}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":92,"tokensAfter":92}],"toolsChanged":2,"tokensSaved":0,"todo":[{"tool":"get_messages","params":["input"]},{"tool":"list_numbers","params":["agent_id"]},{"tool":"open_challenge","params":["input"]},{"tool":"provision_number","params":["input"]},{"tool":"release_number","params":["input"]},{"tool":"wait_for_otp","params":["input"]},{"tool":"wait_for_verdict","params":["input"]}],"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."}