{"serverId":"mcp-registry/app.vercel.proof-stack-lake/proofstack","tools":[{"name":"get_case","fixed":{"name":"get_case","description":"Fetch one audited case by slug: pricing tiers as published, the paid trigger, what to copy, what NOT to copy, and every evidence source with its URL and grade.","inputSchema":{"type":"object","required":["slug"],"properties":{"slug":{"type":"string","description":"The case slug, e.g. 'tally-forms' (find slugs via search_cases)."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":103,"tokensAfter":103},{"name":"search_cases","fixed":{"name":"search_cases","description":"Search ProofStack's audited business-model case studies of small software products. Every case carries revenue and pricing claims linked to public sources with an evidence grade, plus an explicit list of what does NOT transfer to other builders.","inputSchema":{"type":"object","required":["query"],"properties":{"query":{"type":"string","description":"Keywords: a product name, category, or business question (e.g. 'form builder', 'open source analytics')."},"category":{"type":"string","description":"Optional exact category filter, e.g. 'Micro SaaS', 'Developer Tools', 'AI Tools'."}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":175,"tokensAfter":175}],"toolsChanged":2,"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."}