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.
Profile →npx skills add sickn33/agentic-awesome-skills --skill lemmaly --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# lemmaly — Algorithm-First Proof The model already knows Big-O, hash tables, divide-and-conquer, dynamic programming, sorting, graph algorithms, and amortized analysis. It just does not apply them spontaneously. lemmaly fixes the behavior, not the knowledge. This skill is the gateway for an algorithm-discipline suite of four skills (`lemmaly`, `mathguard`, `invariant-guard`, `complexity-cuts`). It enforces the hard rules that every other guard in the suite assumes. **Violating the letter of these rules is violating the spirit of the skill.** "Just this once" is how O(n²) ships to production. ## When to Use This Skill Use **lemmaly** when: - Writing, editing, or reviewing code that involves loops, collections, lookups, searches, joins, recursion, graphs, queries, or any computation over more than a handful of items. - About to write a `for` inside a `for`, `.find` / `.includes` / `.indexOf` inside a loop, `await` inside `for` / `map` / `forEach` over independent items, or one query per item in a collection. - Auditing a codebase / PR for known anti-patterns (await-in-loop, `.includes` inside `.filter`, string-concat in loop, `SELECT *`, N+1, etc.). - Reviewing AI-generated code tha
- When to Use This Skill
- Routing flow
- One-line mental model
- The Iron Law
- Non-negotiable rules
- The pre-write protocol
- Canonical example — protocol vs no-protocol
- Without the protocol — ships O(n·m)
- With the protocol — O(n + m)
- Rule catalog (the lemmaly scanner)
- When to escalate to sibling skills
- Rationalizations to watch for
- Red flags — STOP and restart the protocol
- Verification checklist
Replace <reviewed-tag-or-commit> after reviewing the upstream release. git clone --filter=blob:none https://github.com/morsechimwai/lemmaly.git "$tmpdir/lemmaly" git -C "$tmpdir/lemmaly" checkout --detach <reviewed-tag-or-commit> git -C "$tmpdir/lemmaly" rev-parse HEAD node "$tmpdir/lemmaly/cli/lemmaly.js" scan <path> node "$tmpdir/lemmaly/cli/lemmaly.js" rules
What does the lemmaly skill do?
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.
How do I install it?
Run `npx skills add sickn33/agentic-awesome-skills --skill lemmaly --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From sickn33/agentic-awesome-skills, a repository with 44,414 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.