Voder is now open source. Built by the VeriLoop team and supported by the Intelligent Robotics Laboratory at Tsinghua SIGS, it’s a coding agent that verifies proposed changes before writing them to the workspace.
🛡️ Independent checks before write-back. With VeriLoop-Governed Recurrence (VGR), the agent proposes and revises changes. A Rust governance layer authorizes the write-back only after the exact proposed change passes independent checks. The team is exploring how this approach could make recursive self-improvement safer.
📊 Locally audited benchmarks with DeepSeek V4.1 Flash 1017
• DeepSWE v1.1 · 78.8% (89/113)
• Terminal-Bench 3.0 · 41.9% (31/74)
• Terminal-Bench 4.0 · 45.5% (30/66)
• SWE-Marathon · 45.0% (9/20), with reference assistance
These are the team’s local audit results. Voder is available on GitHub and the VS Code Marketplace.
📄 modelscope.ai/posts/434415
💻 github.com/brucewang12345…
🛡️ Independent checks before write-back. With VeriLoop-Governed Recurrence (VGR), the agent proposes and revises changes. A Rust governance layer authorizes the write-back only after the exact proposed change passes independent checks. The team is exploring how this approach could make recursive self-improvement safer.
📊 Locally audited benchmarks with DeepSeek V4.1 Flash 1017
• DeepSWE v1.1 · 78.8% (89/113)
• Terminal-Bench 3.0 · 41.9% (31/74)
• Terminal-Bench 4.0 · 45.5% (30/66)
• SWE-Marathon · 45.0% (9/20), with reference assistance
These are the team’s local audit results. Voder is available on GitHub and the VS Code Marketplace.
📄 modelscope.ai/posts/434415
💻 github.com/brucewang12345…
