{"serverId":"mcp-registry/ai.com.mcp/petstore","tools":[{"name":"addPet","fixed":{"name":"addPet","description":"Add a new pet to the store. - Add a new pet to the store.","inputSchema":{"type":"object","required":["addPetBody"],"properties":{"addPetBody":{"type":"object","required":["name","photoUrls"],"properties":{"id":{"type":"integer","format":"int64"},"name":{"type":"string"},"tags":{"type":"array","items":{"type":"object","properties":{"id":{"type":"integer","format":"int64"},"name":{"type":"string"}}}},"status":{"enum":["available","pending","sold"],"type":"string","description":"pet status in the store"},"category":{"type":"object","properties":{"id":{"type":"integer","format":"int64"},"name":{"type":"string"}}},"photoUrls":{"type":"array","items":{"type":"string"}}}},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":208,"tokensAfter":208},{"name":"createUser","fixed":{"name":"createUser","description":"Create user. - This can only be done by the logged in user.","inputSchema":{"type":"object","properties":{"createUserBody":{"type":"object","properties":{"id":{"type":"integer","format":"int64"},"email":{"type":"string"},"phone":{"type":"string"},"lastName":{"type":"string"},"password":{"type":"string"},"username":{"type":"string"},"firstName":{"type":"string"},"userStatus":{"type":"integer","format":"int32","description":"User Status"}}},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":145,"tokensAfter":145},{"name":"createUsersWithListInput","fixed":{"name":"createUsersWithListInput","description":"Creates list of users with given input array. - Creates list of users with given input array.","inputSchema":{"type":"object","properties":{"x-hapi-auth-state":{"type":"string"},"createUsersWithListInputBody":{"type":"array","items":{"type":"object","properties":{"id":{"type":"integer","format":"int64"},"email":{"type":"string"},"phone":{"type":"string"},"lastName":{"type":"string"},"password":{"type":"string"},"username":{"type":"string"},"firstName":{"type":"string"},"userStatus":{"type":"integer","format":"int32","description":"User Status"}}}}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":169,"tokensAfter":169},{"name":"deleteOrder","fixed":{"name":"deleteOrder","description":"Delete purchase order by identifier. - For valid response try integer IDs with value < 1000. Anything above 1000 or non-integers will generate API errors.","inputSchema":{"type":"object","required":["orderId"],"properties":{"orderId":{"type":"integer","format":"int64"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":true,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: true, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":97,"tokensAfter":97},{"name":"deletePet","fixed":{"name":"deletePet","description":"Deletes a pet. - Delete a pet.","inputSchema":{"type":"object","required":["petId"],"properties":{"petId":{"type":"integer","format":"int64"},"api_key":{"type":"string"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":true,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: true, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":69,"tokensAfter":69},{"name":"deleteUser","fixed":{"name":"deleteUser","description":"Delete user resource. - This can only be done by the logged in user.","inputSchema":{"type":"object","required":["username"],"properties":{"username":{"type":"string"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":true,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: true, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":68,"tokensAfter":68},{"name":"findPetsByStatus","fixed":{"name":"findPetsByStatus","description":"Finds Pets by status. - Multiple status values can be provided with comma separated strings.","inputSchema":{"type":"object","required":["status"],"properties":{"status":{"enum":["available","pending","sold"],"type":"string"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":86,"tokensAfter":86},{"name":"findPetsByTags","fixed":{"name":"findPetsByTags","description":"Finds Pets by tags. - Multiple tags can be provided with comma separated strings. Use tag1, tag2, tag3 for testing.","inputSchema":{"type":"object","required":["tags"],"properties":{"tags":{"type":"array","items":{"type":"string"}},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":87,"tokensAfter":87},{"name":"getInventory","fixed":{"name":"getInventory","description":"Returns pet inventories by status. - Returns a map of status codes to quantities.","inputSchema":{"type":"object","properties":{"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":58,"tokensAfter":58},{"name":"getOrderById","fixed":{"name":"getOrderById","description":"Find purchase order by ID. - For valid response try integer IDs with value <= 5 or > 10. Other values will generate exceptions.","inputSchema":{"type":"object","required":["orderId"],"properties":{"orderId":{"type":"integer","format":"int64"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":90,"tokensAfter":90},{"name":"getPetById","fixed":{"name":"getPetById","description":"Find pet by ID. - Returns a single pet.","inputSchema":{"type":"object","required":["petId"],"properties":{"petId":{"type":"integer","format":"int64"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":64,"tokensAfter":64},{"name":"getUserByName","fixed":{"name":"getUserByName","description":"Get user by user name. - Get user detail based on username.","inputSchema":{"type":"object","required":["username"],"properties":{"username":{"type":"string"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":67,"tokensAfter":67},{"name":"updatePet","fixed":{"name":"updatePet","description":"Update an existing pet. - Update an existing pet by Id.","inputSchema":{"type":"object","required":["updatePetBody"],"properties":{"updatePetBody":{"type":"object","required":["name","photoUrls"],"properties":{"id":{"type":"integer","format":"int64"},"name":{"type":"string"},"tags":{"type":"array","items":{"type":"object","properties":{"id":{"type":"integer","format":"int64"},"name":{"type":"string"}}}},"status":{"enum":["available","pending","sold"],"type":"string","description":"pet status in the store"},"category":{"type":"object","properties":{"id":{"type":"integer","format":"int64"},"name":{"type":"string"}}},"photoUrls":{"type":"array","items":{"type":"string"}}}},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":210,"tokensAfter":210},{"name":"updatePetWithForm","fixed":{"name":"updatePetWithForm","description":"Updates a pet in the store with form data. - Updates a pet resource based on the form data.","inputSchema":{"type":"object","required":["petId"],"properties":{"name":{"type":"string"},"petId":{"type":"integer","format":"int64"},"status":{"type":"string"},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":94,"tokensAfter":94},{"name":"updateUser","fixed":{"name":"updateUser","description":"Update user resource. - This can only be done by the logged in user.","inputSchema":{"type":"object","required":["username"],"properties":{"username":{"type":"string"},"updateUserBody":{"type":"object","properties":{"id":{"type":"integer","format":"int64"},"email":{"type":"string"},"phone":{"type":"string"},"lastName":{"type":"string"},"password":{"type":"string"},"username":{"type":"string"},"firstName":{"type":"string"},"userStatus":{"type":"integer","format":"int32","description":"User Status"}}},"x-hapi-auth-state":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: true (inferred from the name).","verify":true}],"tokensBefore":162,"tokensAfter":162},{"name":"uploadFile","fixed":{"name":"uploadFile","description":"Uploads an image. - Upload image of the pet.","inputSchema":{"type":"object","required":["petId"],"properties":{"petId":{"type":"integer","format":"int64"},"uploadFileBody":{"type":"string","format":"binary"},"x-hapi-auth-state":{"type":"string"},"additionalMetadata":{"type":"string"}}},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":90,"tokensAfter":90}],"toolsChanged":16,"tokensSaved":0,"todo":[{"tool":"addPet","params":["addPetBody","x-hapi-auth-state"]},{"tool":"createUser","params":["createUserBody","x-hapi-auth-state"]},{"tool":"createUsersWithListInput","params":["x-hapi-auth-state","createUsersWithListInputBody"]},{"tool":"deleteOrder","params":["orderId","x-hapi-auth-state"]},{"tool":"deletePet","params":["petId","api_key","x-hapi-auth-state"]},{"tool":"deleteUser","params":["username","x-hapi-auth-state"]},{"tool":"findPetsByStatus","params":["status","x-hapi-auth-state"]},{"tool":"findPetsByTags","params":["tags","x-hapi-auth-state"]},{"tool":"getInventory","params":["x-hapi-auth-state"]},{"tool":"getOrderById","params":["orderId","x-hapi-auth-state"]},{"tool":"getPetById","params":["petId","x-hapi-auth-state"]},{"tool":"getUserByName","params":["username","x-hapi-auth-state"]},{"tool":"loginUser","params":["password","username","x-hapi-auth-state"]},{"tool":"logoutUser","params":["x-hapi-auth-state"]},{"tool":"placeOrder","params":["placeOrderBody","x-hapi-auth-state"]},{"tool":"updatePet","params":["updatePetBody","x-hapi-auth-state"]},{"tool":"updatePetWithForm","params":["name","petId","status","x-hapi-auth-state"]},{"tool":"updateUser","params":["username","updateUserBody","x-hapi-auth-state"]},{"tool":"uploadFile","params":["petId","uploadFileBody","x-hapi-auth-state","additionalMetadata"]}],"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."}