Drop-in Claude Code configuration for .NET/fullstack projects: deterministic hooks, a spec-driven pipeline, subagents, skills, and formal verification with Allium and TLA+
This repository also configures its own agents. See what Claude tells them →
Skill Claude Code
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 Code
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 Code
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 Code
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 Code
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 Code
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 Code
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 Code
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 Code
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 Code
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 Code
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: