matematico-tao - Mathematical Code and Architecture Analysis
Analyzes code and architecture using complexity theory, graph theory, formal logic, concurrency models, performance analysis, and advanced mathematics.
Tags
Updated: 2026-10-19Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Analyze code complexity
- Model dependency graphs
- Check concurrency properties
- Analyze system performance
- Verify formal correctness
- Evaluate architectural abstractions
- Prioritize recommendations
- Propose constructive fixes
Inputs
- Source code
- Architecture context
- Project files
- auri-analysis.md reference
Outputs
- Mathematical analysis report
- Correctness findings
- Concurrency findings
- Performance findings
- Prioritized recommendations
- Concrete code solutions