FormalizedFormalLogic/Foundation

github.com/FormalizedFormalLogic/Foundation · 283 stars on 2026-09-30 · Unclaimed. Claim this repo if you can push to it · Remove this listing

Watch this repo's setup by RSS, or from a terminal: npx github:thirdreplicator/favz-cli follow FormalizedFormalLogic/Foundation

Runs now

MCP server (PyPI package) (1)

lean-lsp-mcp

agent (2)

lean4-proof-refactorer, lean4-proof-writer

And 2 more found in fewer than 3 repos, not named here.

Changes over time

From the git history of the repo's agent config files, newest first. A removal can mean a replacement, a move to private config or a changed need; we don't know which.