the-omega-institute/automath
Machine verified math from first principles
View on index · View in 3D Map
Related repos
- Unified interface for symbolic and numerical mathematics
- Automate workflows and tasks
- GPU physics engine for robotics simulation
- Converts math problems into Lean 4 theorems and proofs
- Implementations of agents and RAG systems
- Mathematical functions for LLMs via MCP
- Automates harness engineering for AI agents
- Modular AI workflow automation for Claude Code
- Workflows and agents for n8n automation
- Cheatsheets for Stanford’s CS 221 AI course
