johanolofsson72/Claude

Drop-in Claude Code configuration for .NET/fullstack projects: deterministic hooks, a spec-driven pipeline, subagents, skills, and formal verification with Allium and TLA+

These files are johanolofsson72/Claude's own configuration. They tell Claude Code how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.