Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Voder – VeriLoop’s coding agentNew to Visual Studio Code? Get it now.
Voder – VeriLoop’s coding agent

Voder – VeriLoop’s coding agent

VeriLoop

|
1 install
| (0) | Free
A verifiable coding agent for exploring codebases, implementing changes, running tests, and delivering evidence-backed results.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Voder

Install Voder in VS Code and open your project folder. Configure your model API, Modal sandbox and search providers using Voder: Configure Models, Modal and Search.

  • Local Windows and macOS folders use the bundled native host runtime.
  • Linux workspaces, including VS Code Remote SSH workspaces, use the existing Linux runtime and configuration path.
  • The extension follows the workspace extension host. Local projects do not require SSH or Docker.
  • Model inference, Modal verification and external search still use their configured services.
  • Credentials are stored privately on the executing host; they are not automatically transferred between your computer and your SSH server.

The package includes Node.js, the native VGR gateway/daemon and the Git tools needed for host execution. Windows x64/ARM64 and macOS 13+ x64/ARM64 artifacts are bundled. The existing Linux x64 bundle is retained.

On local activation, Voder checks the bundled runtime hashes and tests host locking, private state, replacement, evidence and journal operations before enabling execution. VGR verification and commit authorization remain mandatory.

Acceptance status

This is an installable acceptance candidate. Native artifacts have been cross-built, and offline integration has exercised real Rust commits, independent Rust observation and local file delivery on Linux. Windows/macOS execution on actual target machines and end-to-end calls to real model/Modal services have not been verified. This package is not yet cleared for Marketplace publication.

Document conversion and optional visual-rendering tools retain their own dependencies; they are not certified by the core coding-path checks above.

Rollback

Reinstall the previous VSIX on the same extension host. This package does not contain a cloud deployment script or a command to replace your AutoDL installation; installing locally does not apply changes to an existing remote host. Configuration files are not deleted on rollback.

Third-party software

Node.js licenses are included with each platform runtime. Git for Windows retains its original license files. The Darwin Git source is included under local/THIRD_PARTY_SOURCES; it is built from unmodified Git 2.56.0 with local-operation dependencies and without HTTP, gettext, Perl, Tcl/Tk, Python, Unix-socket monitoring or optional Rust Git subsystems. Git's GPLv2 license is included beside each Darwin binary. Rust dependency license notices are included under local/THIRD_PARTY_NOTICES.

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
  • Your Privacy Choices
  • Consumer Health Privacy
© 2026 Microsoft