A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups.
Lean Theorem Prover MCP
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
