{"serverId":"mcp-registry/com.texttostl/texttostl","tools":[{"name":"web_search","fixed":{"name":"web_search","description":"Web search across multiple engines (Google, Bing, DuckDuckGo, Brave). Costs $0.01 (USDC, Base). Returns JSON results: title, url, snippet, engine.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["query"],"properties":{"limit":{"type":"integer","default":10,"maximum":20,"minimum":1},"query":{"type":"string","maxLength":400,"minLength":1}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":127,"tokensAfter":127},{"name":"web_search_read","fixed":{"name":"web_search_read","description":"Web search plus the full plain-text content of the top results in one call. Costs $0.02 (USDC, Base). Returns JSON: url, title, text per page.","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","required":["query"],"properties":{"pages":{"type":"integer","default":3,"maximum":5,"minimum":1},"query":{"type":"string","maxLength":400,"minLength":1}},"additionalProperties":false},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":126,"tokensAfter":126}],"toolsChanged":2,"tokensSaved":0,"todo":[{"tool":"generate_stl","params":["type","widthMm","heightMm","lengthMm","modelMode","includeBase","includeDetail","wallThicknessMm"]},{"tool":"web_search","params":["limit","query"]},{"tool":"web_search_read","params":["pages","query"]}],"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."}