propose: JSON-shaped hint ids for MCP copy safety (#195)#196
Closed
HumanBean17 wants to merge 2 commits into
Closed
propose: JSON-shaped hint ids for MCP copy safety (#195)#196HumanBean17 wants to merge 2 commits into
HumanBean17 wants to merge 2 commits into
Commits
Commits on May 21, 2026
- andcommitted
- andcommitted
