matematico-tao - Rigorous mathematical analysis of code and architecture
Analyzes code and architecture using complexity theory, graph theory, formal logic, probability, concurrency models, and related mathematical methods.
Tags
Updated: 2026-10-19Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Analyze code complexity
- Model dependency graphs
- Verify concurrency properties
- Assess system performance
- Prove functional correctness
- Inspect architectural abstractions
- Prioritize corrective recommendations
- Provide constructive solutions
Inputs
- Source code
- Architecture information
- Project context
- System requirements
Outputs
- Mathematical analysis findings
- Complexity assessments
- Concurrency findings
- Correctness arguments
- Prioritized recommendations
- Solution code