chore(tools/jobs): improve job tool descriptions
commit591e2295d5b6e56db1f6502f243fa31064badfdf
authorChristian Rocha <christian@rocha.is>
dateThu 9 Apr 2026, 12:29 (6 months ago)
parent7230b48
internal/agent/tools/job_kill.md+1−1
@@ -1,4 +1,4 @@
1−Terminates a background shell process.
1+Terminate a background shell process by ID; shell ID becomes invalid after killing.
22
33<usage>
44- Provide the shell ID returned from a background bash execution
internal/agent/tools/job_output.md+1−1
@@ -1,4 +1,4 @@
1−Retrieves the current output from a background shell.
1+Get stdout/stderr from a background shell by ID; set wait=true to block until completion.
22
33<usage>
44- Provide the shell ID returned from a background bash execution