A devcontainer with Foundry, Node, Roo Code, Slither, Z3, Halmos, and Bun installed. Available at ghcr.io/arvensissystems/devcontainers/soldev.
| Options Id | Description | Type | Default Value |
|---|---|---|---|
| imageVariant | Ubuntu version (use ubuntu-22.04 or ubuntu-18.04 on local arm64/Apple Silicon): | string | jammy |
| includeAdvancedTools | Include advanced tools (ityfuzz, halmos, z3) in the container | boolean | true |
Join the Arvensis Systems Discord community for support, discussions, and updates: https://discord.gg/EBNzE8xtGa