{"serverId":"mcp-registry/io.github.mifactory-bot/mifactory-spec-api","tools":[{"name":"spec_convert","fixed":{"name":"spec_convert","description":"Convert document to agent-readable spec","inputSchema":{"type":"object","required":["documentText"],"properties":{"documentText":{"type":"string"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":52,"tokensAfter":52},{"name":"spec_validate","fixed":{"name":"spec_validate","description":"Validate a spec","inputSchema":{"type":"object","required":["spec"],"properties":{"spec":{"type":"object"}}},"annotations":{"readOnlyHint":true}},"changes":[{"kind":"annotations","detail":"Added readOnlyHint: true (inferred from the name).","verify":true}],"tokensBefore":42,"tokensAfter":42}],"toolsChanged":2,"tokensSaved":0,"todo":[{"tool":"spec_convert","params":["documentText"]},{"tool":"spec_validate","params":["spec"]}],"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."}