formal methods hooks

juxt/allium

Hook

Runs before the agent uses a tool for Task and Agent tool calls, executing loop-trace.mjs via node. From juxt/allium.

juxt/allium

Hook

Runs after a tool call finishes for Write, Edit, Task and Agent tool calls, executing allium-check.mjs and loop-trace.mjs via node (2 commands). From juxt/allium.

ymm-oss/fsl

Hook Claude Code

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

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.

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.

punt-labs/z-spec

Hook

Runs after a tool call finishes for mcp__(plugin_z-spec(-dev)?_)?zspec__.* tool calls, executing suppress-output.sh. From punt-labs/z-spec.