matematico-tao - Advanced mathematical code analysis
Performs rigorous code and architecture analysis using information theory, graph theory, computational complexity, linear algebra, stochastic analysis, category theory, Bayesian probability, and formal logic.
Tags
Updated: 2026-10-19Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Analyze code rigorously
- Model dependencies as graphs
- Analyze concurrency properties
- Evaluate performance and latency
- Verify formal correctness
- Apply category theory to architecture
- Refute invariants with counterexamples
- Prioritize corrective recommendations
- Provide constructive proofs
Inputs
- Source code
- Architecture descriptions
- Project reference files
- Analysis requirements
Outputs
- Mathematical analysis report
- Prioritized recommendations
- Concrete code solutions
- Proofs and counterexamples
Requirements
- Claude Code
- Antigravity
- Cursor
- Gemini CLI
- Codex CLI