approve
01Skill Claude CodeCodex
User says /approve after reviewing a completed task in a worker worktree. This replaces the manual merge-to-main workflow.
not rated 36 11d ago A 0 tokens
36Stars on the repository
41Mods indexed here, across every type
11d agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied
Skill Claude CodeCodex
Fix Elixir/Erlang AST processing bugs in Grafema beam-analyzer. Use when: (1) Elixir parser returns MODULE node but 0 functions/calls — body nesting issue, (2) Erlang parser crashes with "cannot convert list to string" on OTP 26+ — location format changed from integer to keyword list, (3) pipe operator |> creates…
not rated 36 11d ago A 143 tokens
Skill Claude CodeCodex
Fires after fixing any non-trivial bug or regression. Asks: could the graph have caught this as a guarantee? Pairs with reflection-in-and-on-action — picks up after "earliest catchable signal" and asks the next question: was that signal expressible in graph? Triggers: (1) after any non-trivial bug fix is verified…
not rated 36 11d ago A 174 tokens
Skill Claude CodeCodex
Fix Playwright automation failures against code-server (VS Code in browser). Use when: (1) trust dialog blocks all clicks — "monaco-dialog-modal-block intercepts pointer events", (2) button:has-text() finds wrong buttons behind modal dialog, (3) keyboard shortcuts don't work — Meta vs Control inconsistency, (4) VS…
not rated 36 11d ago A 126 tokens
Skill Claude CodeCodex
Systematic methodology for achieving 100% backward dataflow reachability in a new language. Create gauntlet fixture, write trace, diagnose gaps, fix analyzer/algorithm, iterate to 100%. Language-agnostic process. Use when: (1) adding a new language to Grafema, (2) auditing dataflow coverage for existing language, (3)…
not rated 36 11d ago A 93 tokens
Skill Claude CodeCodex
Fix docker exec hanging when starting background processes (servers, daemons) inside containers. Use when: (1) docker exec never returns despite using & or nohup, (2) background server started in container causes docker exec to hang indefinitely, (3) envstartupcommand in SWE-bench or similar frameworks times out, (4)…
not rated 36 11d ago A 110 tokens
Skill Claude CodeCodex
Fix Node.js CLI tools crashing inside Docker containers when host-installed nodemodules require a newer Node version than the container provides. Use when: (1) "SyntaxError: Invalid regular expression flags" with /v flag in string-width or similar packages, (2) nodemodules installed on host with Node 20+ but container…
not rated 36 11d ago A 135 tokens
Skill Claude CodeCodex
Fix intermittent {:notranslation, :unicode, :latin1} crashes in Elixir escript daemons that use length-prefixed framed IPC on stdin/stdout. Use when: (1) daemon worker crashes only on some input files, usually ones with non-ASCII bytes (kanji, cyrillic, emoji); (2) error surfaces as Protocol error from daemon's error…
not rated 36 11d ago A 230 tokens
Skill Claude CodeCodex
Extract knowledge (decisions, facts, session metadata) from the current Claude Code session into the Grafema Knowledge Base. Run after completing a task or at any point when substantive knowledge was produced. Follows runbook ai/runbooks/02-claude-sessions.md.
not rated 36 11d ago A 60 tokens
gap-loop
10Skill Claude CodeCodex
Cyclical dogfooding loop: test AI-AGENT-STORIES.md against the live graph, discover new stories, analyze gaps, fix root causes, re-test, write report. Use when: (1) user says "/gap-loop", (2) periodic dogfooding session, (3) after a release or major feature to re-validate stories, (4) before sprint planning to…
not rated 36 11d ago A 88 tokens
Skill Claude CodeCodex
How to write a Grafema batch-mode plugin that reads the graph and filesystem, then writes new edges/nodes directly to RFDB. Use when: (1) need to add project-specific edges that generic analyzers can't produce, (2) need to read config files (JSON/YAML) and trace values into code, (3) implementing framework-specific…
not rated 36 11d ago A 131 tokens
Skill Claude CodeCodex
Fix stale Haskell analyzer binaries silently being used by the orchestrator even after a successful rebuild. Use when: (1) modified packages/js-analyzer/ or other Haskell analyzer source, ran scripts/build-native.sh ... cabal install, but a subsequent grafema analyze shows old behavior (missing new edges, no new node…
not rated 36 11d ago A 210 tokens
Skill Claude CodeCodex
Fix silent metadata issues in RFDB node storage. Covers two traps: (1) metadata flattening — nested metadata fields become top-level after serialization, so node.metadata.field is undefined but node.field works. (2) reserved keys — fields named "type", "id", "name", "file", "exported" are silently stripped from…
not rated 36 11d ago A 94 tokens
Skill Claude CodeCodex
Pattern for adding derived edge types in the Grafema Rust orchestrator (main.rs). Use when: (1) need to create new graph edges derived from existing edges (e.g., MODULE-level DEPENDSON from IMPORTSFROM), (2) Datalog joins on large edge sets time out, (3) adding enrichment steps that combine data from multiple resolver…
not rated 36 11d ago A 100 tokens
Skill Claude CodeCodex
Grafema release procedure for publishing new versions to npm. Covers happy path, pitfalls, rfdb binary lifecycle, and rollback. Use when user says "release", "publish", "bump version".
not rated 36 11d ago A 45 tokens
Skill Claude CodeCodex
Fix GraphSnapshot tests blocking CI on every feature PR. Use when: (1) every PR fails CI with "Snapshot mismatch" despite correct behavior, (2) fixing snapshots requires build → regen → commit → wait CI cycle per PR, (3) snapshot test in test/unit/.test.js glob breaks on any intentional change, (4) pre-push hook runs…
not rated 36 11d ago A 133 tokens
Skill Claude CodeCodex
Fix node query issues in Grafema tests when nodes have numeric IDs instead of human-readable IDs, or when type field is undefined. Use when: (1) queryNodes returns nodes with numeric IDs like "52710336597754872375318185843222727675" instead of semantic IDs like "net:request#network", (2) node.type is undefined but…
not rated 36 11d ago A 144 tokens
Skill Claude CodeCodex
Fix silent failures when parsing Grafema semantic IDs that are in URI format instead of legacy arrow format. Use when: (1) code splits semantic IDs by "->" but gets the whole string back because IDs are grafema:// URIs, (2) file path extraction from semantic IDs returns empty or wrong values, (3) derived edges…
not rated 36 11d ago A 140 tokens
Skill Claude CodeCodex
Diagnose React + Three.js (or any browser canvas) frame stutter by capturing a CDP CPU profile via Playwright instead of guessing from [perf] console logs. Use when: (1) frame time is bad but [perf] instrumentation doesn't pinpoint the offender, (2) you've spent more than 30 minutes "fixing" suspects without…
not rated 36 11d ago A 177 tokens
Skill Claude CodeCodex
Design guide + benchmarked pitfalls for building Monte-Carlo / Simulated Annealing refinement layers on top of greedy hex-grid layouts for code visualization (packages/gui/src/store/hexLayout.ts, sandbox/hex-sandbox, future Rust ports). Use when: (1) planning to add MC/SA on top of an existing hex-grid pack, (2)…
not rated 36 11d ago A 183 tokens
Skill Claude CodeCodex
Compute a unified outer hull around a group of hex tiles that includes multiple disconnected sub-clusters separated by 1-tile gaps. Use when: (1) rendering nested hierarchy hulls (e.g. "package" hull wrapping multiple "sub-region" hex islands), (2) the naive boundary trace outlines each island separately instead of as…
not rated 36 11d ago A 190 tokens
Skill Claude CodeCodex
Fix scattered/torn regions in hex-grid simulated annealing layouts that use "competitive flood-fill" (one tile per region per outer iteration). Use when: (1) regions of >20 tiles end up dispersed instead of forming compact blobs, (2) maxDist/sqrt(N) dispersion ratio is 10×+ worse than the ideal compact blob, (3) tiles…
not rated 36 11d ago A 264 tokens
Skill Claude CodeCodex
Fix missing theorem proof terms when analyzing Lean 4 environments via importModules. Use when: (1) ConstantInfo.value? returns none for theorems despite TheoremVal.value being Expr, (2) building code graph / dependency extractor for Lean 4 and getting 0 proof dependency edges, (3) Lean 4.30+ project where theorem…
not rated 36 11d ago A 127 tokens
Skill Claude CodeCodex
Decide what to PERSIST in your data structures (graph nodes, DB tables, cache layouts) based on the QUERIES you must answer, not the DEFINITIONS that justify the data. Definitions tell you logical identity; storage strategy is independent. Materializing every definitional component leads to O(N×M) blow-ups that…
not rated 36 11d ago A 231 tokens
At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: