lean-mcp-tools

Use when adding or editing an MCP tool definition — its name, title, description, inputSchema or annotations — when a server's tools/list looks expensive, when deciding whether a fact belongs in a tool description or the server instructions, or when the context cost of an MCP server needs measuring or budgeting.