| name | veriagent-client |
| description | Control a running VeriAgent CMD API server from an AI agent or shell. Use when the user wants to connect to VeriAgent, run CMD/PDB commands, inspect status, console, mission, tasks, tools, workspace files, interrupt execution, or call raw CMD API endpoints. |
VeriAgent Client
Use the bundled helper to communicate with a running VeriAgent
PdbCmdApiServer. The helper is dependency-free Python and can be used from
any agent runtime that can execute local shell commands.
Helper Resolution
- Resolve paths relative to this
SKILL.md.
- Prefer
scripts/veriagent_client.py.
- Run the helper as
python3 <helper> ....
Do not print password values. It is fine to report whether a password is set.
Connection Behavior
init without a URL probes default Unix sockets first, then
http://127.0.0.1:8765.- A saved connection target is tried first. If it is unavailable, the helper
falls back to default targets automatically.
- Supported targets:
http://host:port, https://host:port, host:port,
unix:///path/to.sock, and /absolute/path/to.sock.
- Default state file:
.agents/veriagent-client.json in the current workspace.
- Legacy state files
.uclient/veriagent-client.json and .uclient/veriagent.json are
still read for compatibility.
- Override state with
VERIAGENT_CLIENT_STATE=/path/to/state.json.
VERIAGENT_CLIENT_STATE is accepted only as a legacy override.
Command Mapping
Map user intent to helper subcommands:
- Connect/save target:
python3 <helper> init [url] [--passwd <key>]
- Run one PDB command:
python3 <helper> cmd <cmd> [args...]
- Run multiple commands:
python3 <helper> batch <cmd> [<cmd> ...]
- Show status:
python3 <helper> status
- Show help:
python3 <helper> help [cmd]
- List PDB commands:
python3 <helper> cmds [prefix]
- Show console output:
python3 <helper> console [--lines N]
- Clear console output:
python3 <helper> clear-console
- Show mission progress:
python3 <helper> mission
- Show task list:
python3 <helper> tasks
- Show one task:
python3 <helper> task <index>
- Show tool usage counts:
python3 <helper> tools
- Show recently changed files:
python3 <helper> changed-files [--count N]
- List workspace files:
python3 <helper> files [path]
- Read a workspace text file:
python3 <helper> file <path>
- Interrupt VeriAgent:
python3 <helper> interrupt
- Remove saved state:
python3 <helper> disconnect
- Call an endpoint directly:
python3 <helper> raw <METHOD> <PATH> [JSON]
For status-style commands, summarize the important fields instead of dumping
very large JSON unless the user asks for raw output.
