{"serverId":"mcp-registry/dev.agentsurface/docs","tools":[{"name":"get_page","fixed":{"name":"get_page","description":"Get the Markdown content of a docs page by its pathname (URL)","inputSchema":{"type":"object","$schema":"https://json-schema.org/draft/2020-12/schema","required":["url"],"properties":{"url":{"type":"string"}}},"annotations":{"readOnlyHint":true},"title":"Get Page"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":68,"tokensAfter":68},{"name":"list_pages","fixed":{"name":"list_pages","description":"List all docs pages with their pathnames (URLs)","inputSchema":{"type":"object","$schema":"https://json-schema.org/draft/2020-12/schema","properties":{}},"annotations":{"readOnlyHint":true},"title":"List Pages"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":53,"tokensAfter":53},{"name":"search","fixed":{"name":"search","description":"Search docs pages with a query","inputSchema":{"type":"object","$schema":"https://json-schema.org/draft/2020-12/schema","required":["query"],"properties":{"query":{"type":"string"},"locale":{"type":"string"}}},"annotations":{"readOnlyHint":true},"title":"Search Docs"},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":68,"tokensAfter":68}],"toolsChanged":3,"tokensSaved":0,"todo":[{"tool":"get_page","params":["url"]},{"tool":"search","params":["query","locale"]}],"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."}