Drop-in Claude Code configuration for .NET/fullstack projects: deterministic hooks, a spec-driven pipeline, subagents, skills, and formal verification with Allium and TLA+
Skill Claude CodeCodex
Allium specification language — elicit formal specs from markdown, distill specs from code. Sub-commands elicit and distill. Trigger on /allium, allium, elicit, distill, formal spec.
Skill Claude CodeCodex
Reviews code changes for bugs, security issues, performance problems, and adherence to project conventions. Use when the user asks for code review, PR review, or after significant code changes. Trigger words include review, check code, PR.
Skill Claude CodeCodex
Pre-deployment verification checklist for Docker Swarm deployments to Azure. Use before deploying to production. Trigger words include deploy, release, production, go live.
Skill Claude CodeCodex
Deep codebase exploration — architecture, patterns, dependencies. Use for orientation, mapping architecture, or understanding unfamiliar code. Triggers: explore, architecture, how does this work, map codebase.
Skill Claude CodeCodex
Update speckit and sync Claude Code config from the template repo. Use on existing projects to pull the latest rules, docs, agents, skills, hooks, settings. Triggers: update project, sync config, update claude config, sync rules, refresh project.
Skill Claude CodeCodex
Inception wizard (50 questions, 9 categories) creating CLAUDE.md, speckit constitution, design system, and project brief. Use when starting a new project, brainstorming an idea, or bootstrapping a repo. Triggers: new project, inception, bootstrap.
Skill Claude CodeCodex
Syncs project configuration from the Claude Code template repo. Updates skills, agents, hooks, rules, and docs to match the latest template. Use when starting a new project or upgrading an existing project's Claude Code configuration.
Skill Claude CodeCodex
TLA+ formal verification — extracts invariants, models state machines, checks for race conditions. Use after browser tests or manually. Triggers: verify, formal, invariant, TLA, race condition.
Skill Claude CodeCodex
UI/UX design system: 67 styles, 96 palettes, 57 font pairings, 25 charts, 13 stacks (React/Vue/Svelte/SwiftUI/Flutter/Tailwind/shadcn). Use for designing, building, reviewing UI — pages, components, color, typography, layout, accessibility.
Skill Claude CodeCodex
Searches online for the latest Claude Code best practices, changelog, and recommendations, then updates this template repo's structure accordingly. Use when you want to keep the template up to date with the latest Claude Code features.
Skill Claude CodeCodex
Is there anything for me to do on this project? Answers from the register's own state — your row, the other developer's row, what is unclaimed and runnable, what is held and why, which open questions hold a row, and who committed what this week. Triggers: anything for me to do, what should I work on, what should I do…
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: