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.
Details
- Path
- plugins/antigravity-awesome-skills/skills/complexity-cuts
- License
- Apache-2.0
- Dependencies
- 10