| tool_exports | [{"name":"git_ops","description":"Inspect, diff, commit, and push prepared repository workspaces with fork-aware push fallback.","prompt_hint":"在工作区里查看代码变更、提交 commit、push 分支时优先直接用 `git_ops`;不要再用原始 `bash` 手工串联 `git status/add/commit/push`。需要开 PR 时再结合 `gh_cli`。","policy_groups":["management","coding"],"parameters":{"type":"object","properties":{"action":{"type":"string","description":"status | diff | branches | commit | push"},"workspace_id":{"type":"string","description":"Prepared workspace id"},"repo_root":{"type":"string","description":"Direct repository root override"},"mode":{"type":"string","description":"working | staged | base, used when action=diff"},"base_branch":{"type":"string","description":"Base branch for diff/status/push"},"message":{"type":"string","description":"Commit message used when action=commit"},"strategy":{"type":"string","description":"auto | origin | fork, used when action=push"},"branch_name":{"type":"string","description":"Branch override used when action=push"},"owner":{"type":"string","description":"Upstream repository owner used for fork fallback"},"repo":{"type":"string","description":"Upstream repository name used for fork fallback"}}}}] |