{"serverId":"mcp-registry/com.oceanbuilders/inventory","tools":[{"name":"submit_inquiry","fixed":{"name":"submit_inquiry","description":"Registers a prospective buyer's interest with the Ocean Builders sales team. Requires the buyer's real name and email (with their consent to be contacted); the team follows up by email. Returns a neutral acknowledgment.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["name","email"],"properties":{"name":{"type":"string","maxLength":180,"minLength":1,"description":"The prospective buyer's full name."},"email":{"type":"string","maxLength":180,"description":"The prospective buyer's email address (they consent to be contacted)."},"phone":{"type":"string","maxLength":50,"description":"Optional phone number, international format preferred."},"message":{"type":"string","maxLength":4000,"description":"What they are interested in, questions, timeline — anything for the sales team."},"website":{"type":"string","maxLength":200,"description":"Leave empty."},"elapsed_ms":{"type":"integer","minimum":0,"description":"Milliseconds the end user spent composing this inquiry, when known."}},"additionalProperties":false},"annotations":{"readOnlyHint":false,"destructiveHint":false,"idempotentHint":false},"title":"Register a buyer inquiry with the sales team"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: false, destructiveHint: false, idempotentHint: false (inferred from the name).","verify":true}],"tokensBefore":307,"tokensAfter":307}],"toolsChanged":1,"tokensSaved":0,"todo":[],"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."}