lingxling/awesome-skills-cn-antigravity-awesome-skills-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.
This is a copy. The original lives at lingxling/complexity-cuts.
npx skills add https://github.com/lingxling/awesome-skills-cn --skill complexity-cuts
Take lingxling/awesome-skills-cn-antigravity-awesome-skills-complexity-cuts from the repository into ~/.claude/skills for personal
use, or into .claude/skills inside a project.
The agent identifies a skill by the name field in its header. Two skills with the
same name cannot sit side by side — one of them will be ignored.