{"serverId":"mcp-registry/io.github.dataleadspro/government-tenders","tools":[{"name":"tenders_search","fixed":{"name":"tenders_search","description":"V1 Tenders Search","inputSchema":{"type":"object","title":"tenders_searchArguments","properties":{"limit":{"type":"integer","title":"Limit","default":null},"query":{"type":"string","title":"Query","default":null},"region":{"type":"string","title":"Region","default":null},"maxTimeout":{"type":"integer","title":"Maxtimeout","default":null}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":107,"tokensAfter":107}],"toolsChanged":1,"tokensSaved":0,"todo":[{"tool":"tenders_search","params":["limit","query","region","maxTimeout"]}],"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."}