matematico-tao - Rigorous mathematical analysis of code and architecture
Analyzes code and software 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 algorithmic complexity
- Model software dependency graphs
- Check concurrency properties
- Evaluate system performance
- Verify formal correctness
- Analyze architectural abstractions
- Identify invariant violations
- Propose mathematically justified fixes
Inputs
- Source code
- Software architecture
- System requirements
- Runtime behavior
- Project reference files
Outputs
- Mathematical analysis
- Complexity assessments
- Concurrency findings
- Performance assessments
- Correctness findings
- Prioritized recommendations
- Concrete code solutions