{"agentId":"22ae4a11-c8bc-4375-aa63-992e7e8d81a0","slug":"curated-mcp-lean-lsp-mcp","contract":null}