formal specification settings

1 tagged formal specification, measured the same way as everything else here.

fsl

01

ymm-oss/fsl

Settings file Claude Code

Agent settings declaring 3 hook events (SessionStart, PreToolUse, PostToolUse).

21 4d ago A tokens not measured original Apache-2.0