AI Briefing
KOSign in

VeriLoop Open-Sources Voder, a Safety Architecture for AI Self-Modification

·2026.11.15 16:57

Key point

The tool separates proposal generation from state acceptance using independent verification and Rust-native governance.

Details

  • VeriLoop open-sourced Voder, the first engineering implementation of VeriLoop-Governed Recurrence (VGR), designed to address safety weaknesses in autonomous AI systems.
  • Source-level analysis of DeepSeek Harness (DSH) revealed that its default execution path allows code changes to persist in the workspace even when execution is rejected.
  • VGR implements a principle of self-modification without self-approval, using independent verification and evidence-bound validation to determine which modifications become persistent.
  • Benchmarks for DeepSeek V4.1 Flash on Voder show a 78.8% score on DeepSWE v1.1, 41.9% on Terminal-Bench 3.0, 45.5% on Terminal-Bench 4.0, and 45.0% on SWE-Marathon.
  • Voder is available as open source on GitHub and the VS Code Marketplace, with a technical paper available on OpenReview.
open-sourcedeepseekai-safetyself-modificationvoderveriloop
Read originalShare on Threads

This summary was generated automatically by AI. Check the original for the author's claims and context. Copyright belongs to the original author.

Our guide explains how the AI works. Report summary errors, attribution issues, or removal requests via Contact.

Related

Redditbasal-omni-2.0-mini released with 0.811 Werdykt score and two-way state readingRedditUnit 42 Reports Chinese Attackers Used DeepSeek and GLM Agents to Breach 10 OrganizationsPyTorchKRllama.cpp v1.0.0, First Major Release in Three and a Half YearsGeekNewsGitHub Next releases Ace, a local collaborative coding environment for humans and AI agentsCloudflare BlogCloudflare open-sources Kitesurf, its stateless browser for AI agentsHacker NewsStudy identifies weight-space misfolding as security risk for frontier models