qc-lean-mcp — MCP server · Wellknown