{"serverId":"mcp-registry/cc.aiones/dev-toolbox","tools":[{"name":"get_time","fixed":{"name":"get_time","description":"获取当前时间（默认 UTC+8 北京时间）","inputSchema":{"type":"object","$schema":"https://json-schema.org/draft/2020-12/schema","properties":{"timezone":{"type":"string","description":"时区，如 Asia/Shanghai、UTC"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":64,"tokensAfter":64}],"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."}