matematico-tao - Analyze code with rigorous mathematical methods
Analyzes code and 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 code architecture
- Model dependencies as graphs
- Verify concurrency properties
- Calculate complexity and performance
- Formulate formal contracts
- Prioritize recommendations
- Provide constructive proofs
Inputs
- Source code
- Architecture context
- Project reference files
- Analysis target
Outputs
- Mathematical analysis report
- Prioritized recommendations
- Corrective code examples
- Verified invariants