Skip to content

fix: case-sensitivity bugs in tool metadata lookup and pruned ID matching#60

Closed
Tarquinen wants to merge 1 commit intomasterfrom
fix/tool-cache-case-sensitivity
Closed

fix: case-sensitivity bugs in tool metadata lookup and pruned ID matching#60
Tarquinen wants to merge 1 commit intomasterfrom
fix/tool-cache-case-sensitivity

Commits

Commits on Dec 3, 2025