Skip to content

fix: prevent protected tools from being pruned#136

Merged
Tarquinen merged 3 commits intodevfrom
fix/protected-tool-pruning
Dec 15, 2025
Merged

fix: prevent protected tools from being pruned#136
Tarquinen merged 3 commits intodevfrom
fix/protected-tool-pruning

Commits