matematico-tao - Prof. Euler — Advanced Mathematical Analysis
Analyzes code and architecture using mathematical theories including complexity, graph theory, concurrency, performance, and formal correctness.
Tags
Updated: 2026-10-19Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Analyze code and architecture
- Model dependency graphs
- Evaluate algorithmic complexity
- Analyze concurrent systems
- Check formal correctness
- Rank technical recommendations
- Provide concrete code solutions
Inputs
- Source code
- Architecture descriptions
- Project context
- auri-analysis.md reference
Outputs
- Mathematical analysis findings
- Complexity assessments
- Correctness assessments
- Ranked recommendations
- Counterexamples and invariants
- Concrete code solutions