Favz: leanprover/con-leche agent setuphttps://favz.co/repos/leanprover/con-leche.htmlMCP servers, skills and plugins added to or removed from leanprover/con-leche.leanprover/con-leche removed proof-review-checklisthttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:proof-review-checklist-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche removed lean-wf-recursionhttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-wf-recursion-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche removed lean-simp-tacticshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-simp-tactics-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche removed lean-parsing-completenesshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-parsing-completeness-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche removed lean-monad-proofshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-monad-proofs-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche removed lean-fuel-inductionhttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-fuel-induction-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche removed lean-dependent-typeshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-dependent-types-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche removed lean-array-listhttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-array-list-remove-2026-09-12T07:50:03ZSat, 12 Sep 2026 07:50:03 +0000leanprover/con-leche added proof-review-checklisthttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:proof-review-checklist-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000leanprover/con-leche added lean-wf-recursionhttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-wf-recursion-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000leanprover/con-leche added lean-simp-tacticshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-simp-tactics-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000leanprover/con-leche added lean-parsing-completenesshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-parsing-completeness-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000leanprover/con-leche added lean-monad-proofshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-monad-proofs-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000leanprover/con-leche added lean-fuel-inductionhttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-fuel-induction-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000leanprover/con-leche added lean-dependent-typeshttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-dependent-types-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000leanprover/con-leche added lean-array-listhttps://favz.co/repos/leanprover/con-leche.htmlfavz-leanprover/con-leche-skill:lean-array-list-add-2026-08-19T09:19:39ZWed, 19 Aug 2026 09:19:39 +0000