ymm-oss/fsl

AI-Native Formal Specification Language — a bounded model checker (Lark + Z3) built for LLM write/verify/repair loops.

21Stars on the repository
26Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown

SessionStart

01

ymm-oss/fsl

Hook Claude Code

Runs when a session starts, executing session_context.py via python3. From ymm-oss/fsl.

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

PreToolUse

02

ymm-oss/fsl

Hook Claude Code

Runs before the agent uses a tool for Edit and Write tool calls, executing snapshot_guard.py via python3. From ymm-oss/fsl.

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

PostToolUse

03

ymm-oss/fsl

Hook Claude Code

Runs after a tool call finishes for Write tool calls, executing spdx_guard.py via python3. From ymm-oss/fsl.

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