Software Development
Complexity Cuts
Lower Big-O on existing code via a one-transformation-at-a-time playbook with verify-revert-stop. For new code use lemmaly; for math-level wins escalate to mathguard.
- Publisher / source
- Antigravity Skills
- Upstream record
- sickn33/antigravity-awesome-skills
- Version
- Version 2
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-10-23
- Content fingerprint
35984529bda8e410ebd5539d1d5ad114c0b5ffe814a2b6a362e3f1d9a7ac7e91