matematico-tao - Rigorous mathematical analysis of code and architecture
Analyzes code and architecture using complexity theory, graph theory, formal logic, probability, and related mathematical methods.
Tags
Updated: 2026-10-19Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Analyze code mathematically
- Model dependency graphs
- Verify formal correctness
- Analyze concurrent systems
- Evaluate performance complexity
- Propose constructive fixes
Inputs
- Source code
- Architecture descriptions
- Project files
- Auri analysis reference
Outputs
- Mathematical analysis reports
- Correctness findings
- Performance findings
- Prioritized recommendations
- Concrete code solutions