Verdog for VS Code

Your verifier watchdog.

Verdog is an agentic workflow programming language built on top of Python. Design workflows visually, implement verification in Python, and run them locally. You own the workflow source, agent configurations, and prompts.

Website · Get started · Try the running example

Requires VS Code 1.106+, Python 3.12+, Git, and verdog-cli 0.1.2+.

An agent proposes the next integer, Python verifies it, and a decreasing counter controls the loop.

After verdog sync, opening a trusted project or switching workflows selects that workflow's Python environment for editor analysis. This works with both the Python extension and its Python Environments companion.

Why agentic workflows?

Agents can produce plausible results while missing the objective. Make verification and revision explicit: check results, use failures to guide correction, and decide when to accept, retry, or stop.

Explore the motivation, evidence, and limits in Why agentic workflows?. See Why Verdog? for the problems Verdog addresses and how it helps.

Service and privacy

Workflow execution is local. Generation and checks send project content to the Verdog service; automatic graph analysis sends workflow declarations in trusted projects. Catalogue access uses GitHub sign-in. Agent steps may send content to configured providers. See the privacy policy for details and controls.

Development and license

Developer documentation · Source and build information

Licensed under AGPL-3.0-only, with an additional permission for linking with Graphviz. Third-party notices are included in the extension package.