bounded model checking settings

1 tagged bounded model checking, measured the same way as everything else here.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

fsl

01

Settings file Claude Code

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

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