matematico-tao - Ultra-advanced mathematical code analysis
Analyzes code and architecture using rigorous mathematical methods including information theory, graph theory, computational complexity, formal logic, and probability.
Tags
Updated: 2026-10-19Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Analyze code complexity
- Model dependency graphs
- Check concurrency properties
- Evaluate system performance
- Verify formal correctness
- Analyze architectural abstractions
- Refute system invariants
- Prioritize recommendations
- Provide constructive proofs
Inputs
- Source code
- System architecture
- Project context
- Reference files
- User analysis request
Outputs
- Mathematical analysis report
- Complexity findings
- Concurrency findings
- Correctness findings
- Performance findings
- Prioritized recommendations
- Corrective code examples