{"serverId":"mcp-registry/io.github.dleibner/mcplint","tools":[{"name":"check_mcp_server","fixed":{"name":"check_mcp_server","description":"Statically audit an MCP tool surface from a public HTTPS URL or tools/list snapshot. Returns deterministic scores and findings without invoking any target tool or making LLM calls. When the user asks to check another installed MCP server, read that server's complete tool definitions from client context and pass them as snapshot (MCP `name` or Cursor-style `tool` both work; do not use file paths or $ref). If those definitions are unavailable, ask the user for its public endpoint or tools/list JSO","inputSchema":{"type":"object","$schema":"http://json-schema.org/draft-07/schema#","properties":{"url":{"type":"string","format":"uri","description":"Public HTTPS Streamable HTTP MCP endpoint to inspect."},"headers":{"type":"object","description":"Optional HTTP headers sent only while reading the remote tools/list response.","additionalProperties":{"type":"string"}},"snapshot":{"description":"A tools/list JSON response, MCP Surface Lint snapshot, or client tool dump containing a tools array. Each tool needs `name`, or the Cursor-style `tool` alias. Forward another installed server's complete tool definitions here — do not invent schemas.","type":"string"}},"additionalProperties":false},"annotations":{"readOnlyHint":true,"openWorldHint":true,"idempotentHint":true,"destructiveHint":false},"title":"Check MCP server"},"changes":[{"kind":"schema","detail":"Added \"type\":\"string\" to untyped parameters: snapshot. Change to number/boolean/array where that's what you accept.","verify":true}],"tokensBefore":340,"tokensAfter":345}],"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."}