{"serverId":"mcp-registry/io.github.ogasurfproject-jpg/hs-mcp-observatory","tools":[{"name":"mcp_observatory_lookup","fixed":{"name":"mcp_observatory_lookup","description":"What happened when we contacted one address, or an aggregate for one host. Returns the record hash and the procedure to recompute it. There is no tool here that lists addresses; you must already hold the one you are asking about.","inputSchema":{"type":"object","properties":{"host":{"type":"string","description":"A host, e.g. example.com. Returns counts for that host, not a roster."},"address":{"type":"string","description":"The full declared endpoint, e.g. https://example.com/mcp"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":150,"tokensAfter":150}],"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."}