Total 2 skills · from GitHub & curated sets, updated daily
sickn33/agentic-awesome-skills/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.
sickn33/agentic-awesome-skills/skills/lemmaly
Algorithm-first discipline: state Big-O, data structure, and algorithm family BEFORE writing loops, queries, or recursion. Catches O(n^2), N+1, and brute-force defaults.