qc-lean-mcp — history · Wellknown