{"owner":"leanprover","repo":"lean4","hasSkills":false,"hasMcp":false,"mcpConfig":null,"found":[],"skills":{},"files":{},"items":[]}