Software Development
Matematico Tao
Analyze code complexity, dependency graphs, concurrency and invariants using explicit mathematical assumptions. Use for algorithm or architecture reviews; bundled Kotlin scanners produce advisory estimates, not formal proofs.
- Publisher / source
- Antigravity Skills
- Upstream record
- sickn33/antigravity-awesome-skills
- Version
- Version 2
- Published
- Publication review
- Approved for publication
- Content fingerprint
b438d3862795de6033118fc28399428392353595f70a4dce3d0f7c7fb0a6158f