Merge pull request #5588 from marin1321/patch-1

feat: add mcp-devtools to Developer Tools

Frank Fiegel committed May 2, 2026 at 09:27 UTC 30795423fd8733f90102651b5e82df0ff74463c0

No changes.