Skip to content

docs(spec): tool.json's parameters note records the post-#13317 reality - #13359

Merged
os-project-manager merged 1 commit into
mainfrom
claude/issue-13345-tool-ledger-parameters-note
Aug 30, 2026
Merged

docs(spec): tool.json's parameters note records the post-#13317 reality#13359
os-project-manager merged 1 commit into
mainfrom
claude/issue-13345-tool-ledger-parameters-note

Commits

Commits on Aug 30, 2026