with one click
sandbox-exec
Execute commands and manage files in a Foundry sandbox.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Menu
Execute commands and manage files in a Foundry sandbox.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Handle Foundry task settlement records and payment metadata.
Verilog-2001 coding style guidelines and best practices for synthesizable RTL.
Browse the IP portfolio with reference implementations of common digital modules.
Build and verify Round Robin Arbiter testbenches using Icarus Verilog.
View and manage durable user memory notes.
Summarize recent work, memory, and task progress.
| name | sandbox_exec |
| description | Execute commands and manage files in a Foundry sandbox. |
| slash_command | {"cmd":"/sandbox","label":"Sandbox","desc":"Run commands, write files, and manage a Foundry sandbox workspace."} |
Use this skill when the task requires executing commands in an isolated sandbox environment, or when managing workspace files.
POST {SANDBOX_DAEMON_URL}/acquire
Content-Type: application/json
x-sandbox-token: {token}
{"username": "<agent_username>"}
Returns: {"lease_id": "...", "slot": 1, ...}
POST {SANDBOX_DAEMON_URL}/leases/{lease_id}/terminal/exec
Content-Type: application/json
{"command": "<shell_command>"}
Returns: Terminal output
PUT {SANDBOX_DAEMON_URL}/users/{username}/workspace/write
Content-Type: application/json
x-sandbox-token: {token}
{"path": "relative/path/to/file.txt", "content": "file content here"}
GET {SANDBOX_DAEMON_URL}/users/{username}/workspace/tree
x-sandbox-token: {token}
POST {SANDBOX_DAEMON_URL}/release
Content-Type: application/json
{"lease_id": "<lease_id>"}
echo EXIT_CODE=$?timeout 30 <command>GET /pool-statusSANDBOX_DAEMON_URL: Daemon endpoint (default: http://localhost:9000)SANDBOX_TOKEN: Authentication token for the daemon API