Skill Claude CodeCodex
Formal model-checking layer over Allium specs using Alloy 6 + Electrod + nuXmv. Trigger on: "rigorous structural analysis", "model-check this spec", "verify this Allium spec formally", "check for structural divergence with Alloy", "run the Alloy loop", "does the code actually satisfy this spec", temporal/CTL/LTL…
Skill Claude CodeCodex
Detects repository context, maps dependencies (enterprise-specific or general), and generates/persists architectural documentation.
Skill Claude CodeCodex
Trigger on: check contrast, WCAG contrast, accessible colors, readable text color, fix low-contrast, dimmed text color, palette accessibility, pastel color, textcolor for background, make this color readable, UI theme contrast, Neovim highlight contrast. Evaluate, fix, and generate accessible fg/bg pairs with the…
Skill Claude CodeCodex
Daily orientation and chief-of-staff briefing. Pulls from Slack (saved items), Gmail (important/starred), Google Calendar (today's events), Jira CLI (configured projects), and Todoist CLI, validates every action item, synthesizes a prioritized briefing using three consequence-based tiers, then produces a decisive…
Skill Claude CodeCodex
Collaboratively drafts a Technical Design Document (TDD) as a Staff-level engineering thought partner, through a paced back-and-forth rather than a single generated document. Trigger on: "write a TDD", "write a tech design doc", "help me draft a design doc", "technical design document", "collaborate on a TDD", "design…
Skill Claude CodeCodex
Generates technical diagrams using the D2 language, with automatic color-contrast verification and diagram-type detection.
Skill Claude CodeCodex
Seasoned engineering manager and career coach. Helps engineers translate tasks into SMART performance goals aligned with team and org strategy.
Skill Claude CodeCodex
Comprehensive GitHub repository management with lazy-loaded state tracking via MCP servers.
Skill Claude CodeCodex
Intelligent commit message generator that enforces Conventional Commits and links changes to Jira issues for traceability.
Skill Claude CodeCodex
Manage Jira issues, sprints, and epics with the jira CLI (ankitpokhrel/jira-cli). Trigger on: jira, jira-cli, ticket, issue key (e.g. PROJ-123), epic, sprint, transition/move ticket, comment on ticket, assign ticket, JQL, create bug/story, "what's on my board", "my open issues". Use when the user wants to find, read…
Skill Claude CodeCodex
Trigger on: jq, jq filter, jq query, process JSON, filter JSON, transform JSON, extract from JSON, parse API response JSON, NDJSON, pretty-print JSON, jq select, groupby JSON, update JSON file with jq. Specialized procedure for complex JSON processing with the jq CLI. Prefer over ad-hoc Python/Node one-offs for…
Skill Claude CodeCodex
Translate pure business/decision logic (Scala, Java, or similar) into Morphir IR via hand-authored Elm, then verify the translation with a hand-traced decision table against the source code. Trigger on: "model this in Morphir", "translate this logic to Morphir IR", "morphir-elm", "decision table verification", "verify…
Skill Claude CodeCodex
Query and manage New Relic observability data using the newrelic CLI across all your organization's accounts. Trigger on: newrelic, nrql, apm, deployment marker, alert policy, observability query, error rate, throughput, latency, SLO/SLI.
Skill Claude CodeCodex
A unified data management skill using 'oli' to interface with S3, GCS, Azure, and other remote storage with built-in safety guardrails.
Skill Claude CodeCodex
You are an elite pedagogical agent that guides users to complete complex projects while ensuring deep mental development and concept mastery.
Skill Claude CodeCodex
Answers user questions by searching a local Markdown repository using the qmd (Quick Markdown Search) CLI toolkit. Use this skill whenever the user asks a question that should be answered from local notes or documentation — including queries like "what do my notes say about X", "find anything about Y in my knowledge…
Skill Claude CodeCodex
Rigorous, evidence-backed code review for high-stakes changes. Trigger on: rigorous review, thorough review, deep review, review this PR properly, review before merge, high-stakes review, "is this actually safe to merge", regulated or compliance code review, batch-review these PRs. Every finding carries quoted…
Skill Claude CodeCodex
Only when the user explicitly invokes save-zk or /save-zk. Do not use for generic save, summarize, commit, worktree teardown, daily-briefing, or notebook search. Distills this session into one Session Note (create or Living-Head update) and appends a best-effort back-link on today's Daily Note.
Skill Claude CodeCodex
Enforces required tool order for Scala/Java projects. Compile/test: use the bloop CLI directly (bloop compile, bloop test) — never sbt compile/sbt test. Search/navigate: scalex first, then ast-grep, then a semantic/LSP-aware tool if one is available, then grep/ripgrep as last resort — this order is unconditional, even…
Skill Claude CodeCodex
Trigger on: init, CLAUDE.md, AGENTS.md, setup repo, onboard, generate docs, project documentation for agents, bootstrap, new project setup. Evidence-guided AGENTS.md/CLAUDE.md generator that makes AI coding agent runs 28% faster and 16% cheaper by eliminating exploratory navigation.
Skill Claude CodeCodex
Search code, commits, and diffs across millions of open source and private repositories using the Sourcegraph CLI (src).
Skill Claude CodeCodex
Defines how an agent should manage its own structured, persistent memory across whatever memory backends are configured in this environment — durable cross-session stores, project- or workspace-scoped notes, and short-lived task-tracking state. Use this whenever memory itself is the subject of the task — the user asks…
Skill Claude CodeCodex
Trigger on: chart, plot, visualize data, bar chart, line chart, scatter plot, pie chart, line graph, Vega-Lite, make a chart from CSV/JSON/table. Generates charts (bar, line, scatter, pie) from CSV, JSON, or pasted tabular data using Vega-Lite, with automatic column-type detection and chart-type recommendation. Use…