A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups.
Tag
#lean4
MCP servers, skills and plugins tagged “lean4” on GitHub.
4 entries · real GitHub data
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- #4Resimind
Neuro-symbolic agents with verified memory. MCP math tools, an algebra repair Skill, and an open challenge. Verify solutions, learn checked rules, and reuse.
