Reports, dashboards, and tools for contributors and maintainers.
Live public app — deploys from deploy/on-render branch.
Production mirror on a Hugging Face Space — deployed via scripts/deploy_hf.sh, logged on deploy/on-huggingface.
Preview upcoming features — deploys from deploy/on-render-staging branch.
Semantic graphs generated for test cases for visual examination.
Explore graphs → 🎬Step-by-step derivations rendered as morphing animations for visual examination.
Watch derivations → 📊Auto-generated codebase statistics with Mermaid charts — breakdown by language, directory, and category.
View report →Backend server, scenes, mathematical semantic graph builder and AI integration
Interactive frontend, real-time rendering
Mathematical visualization engine
3D rendering and scene management
LLM and real-time text-to-speech
Structured AI agent framework
Optimizable LLM programs — used in the ProofCompletionExpert
High-performance async web framework
Symbolic mathematics and CAS engine
Comprehensive test suite
# Clone the repository git clone https://github.com/ibenian/algebench.git cd algebench # Run a scene ./algebench scenes/eigenvalues.json # Run the test suite ./run.sh -m pytest tests/