Favz: leanprover/lean4 agent setuphttps://favz.co/repos/leanprover/lean4.htmlMCP servers, skills and plugins added to or removed from leanprover/lean4.leanprover/lean4 added profilinghttps://favz.co/repos/leanprover/lean4.htmlfavz-leanprover/lean4-skill:profiling-add-2026-03-01T07:09:33ZSun, 01 Mar 2026 07:09:33 +0000leanprover/lean4 added releasehttps://favz.co/repos/leanprover/lean4.htmlfavz-leanprover/lean4-command:release-add-2025-10-15T00:28:26ZWed, 15 Oct 2025 00:28:26 +0000