fsl
01Settings file Claude Code
Agent settings declaring 3 hook events (SessionStart, PreToolUse, PostToolUse).
21 4d ago A
tokens not measured
original Apache-2.0
AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.