Commit graph

2 commits

Author SHA1 Message Date
Allaun Silverfox
59685d7e86 docs(pending): explain quarantine policy for non-Lean tool surfaces 2026-05-26 17:57:16 -05:00
Allaun Silverfox
e745086aeb chore(pending): move python MCP server into pending quarantine 2026-05-26 17:56:57 -05:00