Arcadi4

54 mods across 2 repositories, 9 stars between them.

Arcadi4/nerdy

Skill Claude CodeCodex

Use when analyzing randomized algorithms, probabilistic analysis, indicator random variables, hiring and secretary problems, random permutations, balls-and-bins, birthday paradox, streaks, or average-case versus expected-time reasoning.

7 4mo ago A 53 tokens original MIT

shortest-paths

26

Arcadi4/nerdy

Skill Claude CodeCodex

Use when solving, proving, implementing, or reviewing weighted shortest-path problems, including single-source or all-pairs shortest paths, relaxation, negative edges or cycles, Dijkstra, Bellman-Ford, DAG paths, Floyd-Warshall, Johnson, difference constraints, transitive closure, arbitrage, or graph-path reductions.

7 4mo ago A 70 tokens original MIT

Arcadi4/nerdy

Skill Claude CodeCodex

Use when choosing or analyzing sorting, heaps, priority queues, linear-time integer/distribution sorting, quicksort, selection, medians, quantiles, top-k, or order-statistic algorithms under practical engineering constraints.

7 4mo ago A 49 tokens original MIT

string-matching

28

Arcadi4/nerdy

Skill Claude CodeCodex

Use when solving exact pattern search, rolling-hash matching, finite-automaton matching, KMP prefix-function problems, suffix-array queries, LCP-array tasks, longest repeated/common substring problems, cyclic rotation tests, or Burrows-Wheeler transform exercises.

7 4mo ago A 56 tokens original MIT

csapp

29

Arcadi4/nerdy

Skill Claude CodeCodex

CSAPP; "Computer Systems A Programmer's Perspective" by Randal E. Bryant and David R. O'Hallaron, covering computer architecture, systems programming, and performance optimization.

7 4mo ago A 40 tokens original MIT

sicp

30

Arcadi4/nerdy

Skill Claude CodeCodex

SICP; the classic computer science textbook "Structure and Interpretation of Computer Programs" by Harold Abelson and Gerald Jay Sussman.

7 4mo ago A 30 tokens original MIT

tapl

31

Arcadi4/nerdy

Skill Claude CodeCodex

TaPL; the foundational computer science textbook "Types and Programming Languages" by Benjamin Pierce, covering type systems, programming language theory, lambda calculus, and more.

7 4mo ago A 35 tokens original MIT

clean-refactor

32

Arcadi4/skills

Skill Claude CodeCodex

Use when removing dead code, renaming symbols, or refactoring — any change with no external consumers. Triggers on deprecating dead code, wrapper shims, compatibility aliases, TODO-future-cleanup, or refactors that patch structure instead of simplifying.

2 8d ago A 57 tokens

cleanup-useeffect

33

Arcadi4/skills

Skill Claude CodeCodex

Use when writing new React components that involve state derived from props, event-driven side effects, or external subscriptions. Also use when auditing existing code for unnecessary useEffect calls, reviewing useEffect-heavy components, or refactoring to eliminate cascading renders. Applies to React 18+ codebases.

2 8d ago A 61 tokens

generalize

34

Arcadi4/skills

Command

Generalize from examples the user provides. Abstract to the real concept, then enumerate comprehensively.

2 8d ago A 19 tokens

commit

35

Arcadi4/skills

Skill Claude CodeCodex

Use when about to make git commits, when tempted to bundle unrelated changes behind a single message, or when commit history needs to support git bisect, revert, and cherry-pick workflows. Also use when reviewing a branch before creating a PR. If you are writing a plan, specify that the executor must load this skill…

2 8d ago A 70 tokens

configuring-oxlint

37

Arcadi4/skills

Skill Claude CodeCodex

Use when configuring or enhancing oxlint rules for a JavaScript/TypeScript project, when deciding which lint rules to enable beyond the default correctness category, or when evaluating whether a lint rule's autofix status and noise level make it worth enabling. Also use when bulk-enabling pedantic or style categories…

2 8d ago A 71 tokens

developing-agents

38

Arcadi4/skills

Skill Claude CodeCodex

Use when implementing or debugging agents, tool-calling assistants, or multi-step AI runtimes and you need correct message conversion, tool-call handling, replayed history, loop continuation, or provider/API compatibility across SDKs, proxies, or direct upstream model APIs.

2 8d ago A 57 tokens

frontend-debugging

39

Arcadi4/skills

Skill Claude CodeCodex

Use when debugging a CSS layouts, box-model mismatch, or DOM structure problem that keeps breaking under CSS tweaks.

2 8d ago A 26 tokens

generalize

40

Arcadi4/skills

Skill Claude CodeCodex

Use when a user provides examples prefixed by "for example", "such as", "e.g.", "like", or ends a list with "etc." / "and so on". For architecture/design tasks, abstract first to identify the concept, then enumerate. For research/clarification tasks, enumerate first — the concept organizes the output but the list is…

2 8d ago A 79 tokens

Arcadi4/skills

Skill Claude CodeCodex

Use when linearizing a git branch that has merge commits, flattening topological history into a single linear chain, removing merge commits while preserving all work and the final tree state. Triggers on "linearize", "flatten history", "remove merge commits", "rebase to linear", "squash merges out of history".

2 8d ago A 73 tokens

git-cc

42

Arcadi4/skills

Skill Claude CodeCodex

Comprehensive reference for git-cc (SKalt/git-cc) - a git extension that helps write and validate Conventional Commits.

2 8d ago A 89 tokens

iso-19450

43

Arcadi4/skills

Skill Claude CodeCodex

Use when explaining how an existing system works by modeling it as objects and processes — answering "what does this thing actually do?", writing down system knowledge that only lives in your head, onboarding your human partner onto a fast-growing system, or preventing cognitive debt with Object-Process Methodology…

2 8d ago A 70 tokens

iso-42010

44

Arcadi4/skills

Skill Claude CodeCodex

Use when explaining an existing system's architecture to your human partner — answering "how does this work?", onboarding them to an unfamiliar area, giving context before a decision, writing down what only lives in your head, or preventing cognitive debt by scoping explanations with ISO/IEC/IEEE 42010.

2 8d ago A 65 tokens

learn-from-session

45

Arcadi4/skills

Skill Claude CodeCodex

Use when extracting reusable patterns from session history to create skills, analyzing completed work to identify generalizable workflows, or when writing skill trigger descriptions that need to be concept-anchored rather than example-based.

2 8d ago A 44 tokens

manual-frontend-qa

46

Arcadi4/skills

Skill Claude CodeCodex

Use when the partner asks for manual frontend QA, hand-testing, or step-by-step UI verification, or when you finish a frontend change and want to offer manual verification proactively. Especially when Playwright/Cypress/Selenium is unavailable, not worth setup, or the partner said "just check it manually." Requires…

2 8d ago A 74 tokens

opencode-cli

47

Arcadi4/skills

Skill Claude CodeCodex

Comprehensive reference for the opencode CLI (anomalyco/opencode) - the open source AI coding agent.

2 8d ago D 82 tokens

skill-compression

48

Arcadi4/skills

Skill Claude CodeCodex

Use when skill documents are too long, bloated with repetitive prose, or the user asks to compress/shorten/tighten/trim a SKILL.md. Also use when a skill has overlapping sections, duplicate explanations, or verbose examples that inflate word count without adding behavioral content.

2 8d ago A 61 tokens