惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

A
About on SuperTechFans
G
Google Developers Blog
L
LangChain Blog
aimingoo的专栏
aimingoo的专栏
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
云风的 BLOG
云风的 BLOG
小众软件
小众软件
月光博客
月光博客
Recent Announcements
Recent Announcements
人人都是产品经理
人人都是产品经理
P
Proofpoint News Feed
博客园 - 聂微东
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
雷峰网
雷峰网
The Cloudflare Blog
博客园_首页
美团技术团队
大猫的无限游戏
大猫的无限游戏
B
Blog
IT之家
IT之家
Jina AI
Jina AI
H
Hackread – Cybersecurity News, Data Breaches, AI and More
C
Check Point Blog
钛媒体:引领未来商业与生活新知
钛媒体:引领未来商业与生活新知

DEV Community

Authentication Security Deep Dive: From Brute Force to Salted Hashing (With Java Examples) Why AI Systems Don’t Fail — They Drift Spilling beans for how i learn for exam😁"Reinforcement Learning Cheat Sheet" I Replaced Chrome with Safari for AI Browser Automation. Here's What Broke (and What Finally Worked) How Python Borrows Other People's Work The $40 Architecture: Processing 1 Billion API Requests with 99.99% Uptime Vibe Coding: A Workflow Guide (From Zero to SaaS) Most webhook security guides protect the wrong side. The scary part is delivery. Headless CMS for TanStack Start: Build a Blog with Cosmic EU Age Verification App "Hacked in 2 Minutes" — What Actually Happened Comfy Cloud’s delete function does not actually remove files Running AI Models on GPU Cloud Servers: A Beginner Guide Event-driven media intelligence with AWS Step Functions and Bedrock I scored 500 AI prompts across 8 quality dimensions — here's what broke How to Call Google Gemini API from Next.js (Free Tier, No Backend Needed) The Portal Protocol: Reclaiming Human Connection in the Age of AI How to Fix Your Team's Scattered Knowledge Problem With a Self-Hosted Forum Intro to tc Cloud Functors: A Graph-First Mental Model for the Modern Cloud Designing Multi-Tenant Backends With Both Ownership and Team Access I Built a Neumorphic CSS Library with 77+ Components — Here's What I Learned PostgreSQL Performance Optimization: Why Connection Pooling Is Critical at Scale Cómo construí un SaaS multi-rubro para gestionar expensas en Argentina con FastAPI + Vue 3 🚀 I Built an Ethical Hacking Scanner Tool – Open Source Project I Replaced /usage and /context in Claude Code With a Single Statusline A Pythonic Way to Handle Emails (IMAP/SMTP) with Auto-Discovery and AI-Ready Design I Collected 8.9 Million Polymarket Price Points — Here's What I Found About How Markets Really Move EcoTrack AI — Carbon Footprint Tracker & Dashboard Everyone's Using AI. No One Agrees How. 5 self-hosted ebook managers worth trying in 2026 Building Your First AI Agent with LangChain: From Chatbot to Autonomous Assistant
Building a Verification-First AI Coding Agent: Why I Aban...
Enyi Emmanuel · 2026-05-30 · via DEV Community

In the race to build the ultimate AI coding assistant, the industry has settled on a shared, deeply flawed paradigm. Let’s call it Generate-and-Pray.

Whether you are using Cursor, GitHub Copilot, Cline, or custom wrapper scripts, the flow is identical:

  1. You prompt the LLM.
  2. The LLM generates a code patch.
  3. The tool writes that patch directly to your filesystem.
  4. You, the human, are forced to be the verification layer. You review the diff, run the compiler, catch hallucinated package imports, execute the test suite, and rollback when things inevitably blow up.

This is chaotic, exhausting, and unsafe.

I wanted an assistant that acts like a senior engineer. Someone who tests and compiles their code before showing it to me. So, I built Kode: a contrarian, verification-first AI coding agent.

Here is why we need to shift from generation to verification, and the engineering details of how Kode does it.


The Thesis: No Generation Without Verification

Kode is built on a simple rule: The LLM is the generative engine, but a local Go orchestrator is the security layer.

Every time the model generates a patch, it passes through a static, pre-compiled Go binary (kode.exe) that executes 9 deterministic verification gates in under 50 milliseconds before a single byte touches your active filesystem. If a gate fails, the patch is rejected, and the compiler-grade error is fed back to the LLM to self-correct.

                  ┌─────────────────────────┐
                  │      User Prompt        │
                  └────────────┬────────────┘
                               ▼
                  ┌─────────────────────────┐
                  │  LLM Generates Patch    │
                  └────────────┬────────────┘
                               ▼
                  ┌─────────────────────────┐
                  │  9 Verification Gates   │◀───┐ (Self-Correction Loop)
                  └────────────┬────────────┘    │
                               │                 │
                      [Pass]?  ├─(No)────────────┘
                               │
                             (Yes)
                               ▼
                  ┌─────────────────────────┐
                  │    Write to Filesystem  │
                  └─────────────────────────┘

Enter fullscreen mode Exit fullscreen mode

By shifting safety-checks left directly into the editor, the user is never the debugger.


Under the Hood: The 9 Verification Gates

To make pre-write verification viable, checks must run near-instantaneously. Here is how the compiled Go engine enforces safety:

  1. AST Syntax Gate: Parses modified files using official Tree-sitter bindings (precision AST parser), falling back to regex heuristics when CGo is unavailable. Parse error = hard block.
  2. Imports Gate: Cross-references every generated import path against the local dependency graph. No more hallucinated npm or Go packages.
  3. Calls Gate: Validates that function and method call sites map to real, existing symbols with matching signatures.
  4. Blast Radius Gate: Walks the dependency graph backward. If the patch affects more files downstream than your threshold allows, it's blocked.
  5. Architecture Gate: Enforces module boundaries (e.g. database layers are blocked from importing route handlers).
  6. Security Gate (SAST): Runs a compiled local SAST engine over the AST to block SQL injections, XSS, and hardcoded credentials.
  7. Sandbox Replay Gate: Ephemerally executes code in a CPU-bounded sandbox to trap infinite loops, memory leaks, and rogue sockets.
  8. QR Code Tunnel Gate: Boots a secure public dev tunnel for local web servers and prints a QR code in your terminal so you can preview layout changes instantly on your phone.
  9. Browser E2E Gate: Generates and runs headless Playwright scripts on your dev server, capturing UI recordings and rolling back if console errors are caught.

3 Killer Features No Incumbent Offers

Building a verification engine opened the door to capabilities that standard extension wrappers simply cannot implement:

1. Ghost Branches (Survival of the Fittest)

Why run one prompt when you can run three? Kode can spawn parallel git worktrees (Ghost Branches) to explore different implementation paths. Each path runs through the Verification pipeline and test suites. Kode evaluates the results, scores them, and automatically merges the highest-scoring candidate back into your workspace.

2. Blindfold Mode (Enterprise Privacy)

For corporate developers, sending proprietary code to third-party LLMs is a compliance nightmare. Blindfold Mode performs a local AST parse and SHA-256 obfuscates all identifiers (variable names, types, functions, packages) before payloads leave your machine. A local mapping table translates them back on response. The cloud model sees your code's logic, but never its intellectual property.

3. Hands-Free Voice Programming (kode voice)

No typing required. Just run kode voice, speak your task, and the local mic captures and transcribes it using Whisper. The text is immediately fed into the Plan-Generate-Verify pipeline.


Open Source Licensing: The MIT + AGPLv3 Hybrid Model

To protect against SaaS wrappers while retaining enterprise-friendly local execution, Kode adopts a dual-license model:

  • MIT License: The core developer tooling (CLI, TUI, internal modules, and web app) is fully permissive.
  • AGPLv3 License: The cloud-ready LLM gateway and routing proxy server (cmd/gateway/ and internal/gateway/) require any hosted SaaS wrappers to open-source their orchestration code.

Getting Started

Kode is a Bring Your Own Key (BYOK) platform. It compiles to a lightweight ~10MB Go binary with zero external runtime dependencies.

Installation

  • macOS / Linux:
  curl -fsSL https://raw.githubusercontent.com/sicario-labs/kode/master/script/install.sh | bash

Enter fullscreen mode Exit fullscreen mode

  • Windows (PowerShell):
  irm https://raw.githubusercontent.com/sicario-labs/kode/master/script/install.ps1 | iex

Enter fullscreen mode Exit fullscreen mode

  • Termux (Android): Build and compile on ARM64 Termux:
  pkg install golang nodejs git clang make
  go build -o bin/kode ./cmd/kode
  cd third_party/opencode && npm install

Enter fullscreen mode Exit fullscreen mode

Once installed, scaffold your configuration with:

kode init

Enter fullscreen mode Exit fullscreen mode

And start a task loop:

kode loop "add JWT validation to the login route"

Enter fullscreen mode Exit fullscreen mode

Check out the full repository and contribute at github.com/sicario-labs/kode. We'd love to hear your thoughts on shifting the AI coding paradigm from generation to verification!