Skill Claude Code
Audit whether a named aspect of a program or system enforces its invariants STRUCTURALLY (inherent, unbreakable by any schedule or caller) rather than probabilistically (near-certain, high-probability, "fast enough", "we always call it in order"). Checks sequencing via synchronization primitives instead of sleeps and…
Skill Claude CodeCodex
Investigate the agent-repl system across Emacs, daemon, shim, webapp, sidecar, store, state, deployment, logging, and test coverage. Use for current or historical workspace failures, wrong colors or stuck states, missing conversation data, service-health questions, source-versus-running readiness…
Skill Claude CodeCodex
Run a time-boxed Emacs profiling session. Starts the profiler, schedules an automatic stop after N minutes via ScheduleWakeup, then analyzes the resulting profiler-report. Use when the user wants a hands-off profile around a slow editor operation, or invokes /profile.
Skill Claude Code
Send elisp to the running Emacs at runtime — evaluate snippets, dump live buffer state, capture Messages output, or run a measured snippet inside a profiling session — and receive the result back as a follow-up message. The skill scopes every dispatch to the current workspace so operations like "create a buffer" or…
Skill Claude CodeCodex
Display an interactive chess board inside the agent-repl GUI response bubble. Use when the user asks to show, render, or display a chess game, position, or live analysis session on a board — from a PGN, a FEN, or a live engine session id. The response carries a one-line marker the GUI renders as the board.
Skill Claude CodeCodex
Close an existing editor workspace without merging it. Use when the user wants to dispatch a close for one or more named workspaces (kill its Claude session, buffers, and Doom perspective) without cherry-picking commits anywhere, asks to "/workspace-close", or wants to discard a workspace's editor state while leaving…
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: