matematico-tao - Mathematical code and architecture analysis
Analyzes code and architecture using mathematical theories including complexity, graph theory, concurrency, formal logic, and probability.
Tags
Updated: 2026-10-19Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Analyze code rigorously
- Model dependency graphs
- Assess algorithmic complexity
- Check concurrency properties
- Verify formal correctness
- Evaluate architecture abstractions
- Recommend prioritized fixes
Inputs
- Source code
- Architecture documentation
- Project context
- Auri analysis reference
Outputs
- Mathematical analysis
- Complexity findings
- Concurrency findings
- Correctness assessment
- Prioritized recommendations
- Corrective code examples