Claude
01Settings file Claude Code
Agent settings declaring 8 hook events (UserPromptSubmit, PreToolUse, PostToolUse, PreCompact) and 30 allowed tools.
2 2d ago E
tokens not measured
Drop-in Claude Code configuration for .NET/fullstack projects: deterministic hooks, a spec-driven pipeline, subagents, skills, and formal verification with Allium and TLA+
Settings file Claude Code
Agent settings declaring 8 hook events (UserPromptSubmit, PreToolUse, PostToolUse, PreCompact) and 30 allowed tools.