agentmods.dev

formal methods settings

2 tagged formal methods, measured the same way as everything else here.

Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 2 mods

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

z-spec

02

punt-labs/z-spec

Settings file Claude Code

Agent settings declaring 114 allowed tools.

5 2d ago C tokens not measured copy · 88% MIT