Favz: FormalizedFormalLogic/Foundation agent setuphttps://favz.co/repos/formalizedformallogic/foundation.htmlMCP servers, skills and plugins added to or removed from FormalizedFormalLogic/Foundation.FormalizedFormalLogic/Foundation added lean4-proof-writerhttps://favz.co/repos/formalizedformallogic/foundation.htmlfavz-formalizedformallogic/foundation-agent:lean4-proof-writer-add-2026-07-24T15:12:09ZFri, 24 Jul 2026 15:12:09 +0000FormalizedFormalLogic/Foundation added lean4-proof-refactorerhttps://favz.co/repos/formalizedformallogic/foundation.htmlfavz-formalizedformallogic/foundation-agent:lean4-proof-refactorer-add-2026-07-24T15:12:09ZFri, 24 Jul 2026 15:12:09 +0000FormalizedFormalLogic/Foundation added lean-lsp-mcphttps://favz.co/repos/formalizedformallogic/foundation.htmlfavz-formalizedformallogic/foundation-mcp:pypi:lean-lsp-mcp-add-2025-07-08T15:31:11ZTue, 08 Jul 2025 15:31:11 +0000