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

推荐订阅源

T
Threat Research - Cisco Blogs
G
Google Developers Blog
人人都是产品经理
人人都是产品经理
有赞技术团队
有赞技术团队
U
Unit 42
D
DataBreaches.Net
A
Arctic Wolf
博客园 - 【当耐特】
N
Netflix TechBlog - Medium
T
True Tiger Recordings
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
P
Proofpoint News Feed
M
Microsoft Research Blog - Microsoft Research
T
ThreatConnect
Blog — PlanetScale
Blog — PlanetScale
Cisco Talos Blog
Cisco Talos Blog
Recorded Future
Recorded Future
量子位
T
Threatpost
Security Latest
Security Latest
E
Exploit-DB.com RSS Feed
云风的 BLOG
云风的 BLOG
F
Full Disclosure
H
Help Net Security
P
Palo Alto Networks Blog
T
The Blog of Author Tim Ferriss
C
Cybersecurity and Infrastructure Security Agency CISA
美团技术团队
L
LangChain Blog
Latest news
Latest news
小众软件
小众软件
S
SegmentFault 最新的问题
Martin Fowler
Martin Fowler
Hacker News - Newest:
Hacker News - Newest: "LLM"
Engineering at Meta
Engineering at Meta
Google Online Security Blog
Google Online Security Blog
The Cloudflare Blog
Scott Helme
Scott Helme
博客园 - Franky
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
D
Darknet – Hacking Tools, Hacker News & Cyber Security
Recent Announcements
Recent Announcements
Microsoft Azure Blog
Microsoft Azure Blog
Know Your Adversary
Know Your Adversary
A
About on SuperTechFans
G
GRAHAM CLULEY
C
Comments on: Blog
The Register - Security
The Register - Security

DEV Community

From NumPy to JAX: My First "Aha!" Moments with Accelerated AI I Analyzed 200 Small Business Websites — Here's What's Actually Hurting Their Performance (And How to Fix It) The Death of the React Native Bridge: Moving from JSON to JSI in 2026 Agentic Ops: How I Shipped My Vibe-Coded Game to Production "Reinstalling Won't Fix It": A Cross-App Shared-Auth Deadlock After Switching Phones I build a project calculator web app for n8n / automation folks I scanned 200 popular MCP server packages. Here is what I found. Integers and Floating-Point Numbers in C++ How to Secure Azure Storage Using Managed Identities and RBAC Benchmarking time-series databases for ecommerce infrastructure monitoring 16 days until Anthropic's Agent SDK billing splits. MTP on Android Is a Minefield — What I Learned After Building My Own Mac Client Harness Engineering: The Code Around the Model Is the Hard Part 7 Questions Every eCommerce Brand Owner Should Ask - Before Hiring Shopify Experts How to scrape Nextdoor for hyper-local demographics and community sentiment Hermes Agent vs. LangGraph, CrewAI, and AutoGen: A Technical Comparison for 2026 为什么使用代理总弹出“安全验证”?深度解析 Cloudflare 拦截机制与避坑指南 AI가 협박을 막으려면 협박을 먼저 배워야 한다 – 앤트로픽 클로드의 역설 I Built a Full-Stack Uptime Monitoring SaaS in 30 Days — Here's Everything I Learned The .txt File as the Soul of a Personal AI — FileRAG Memory Architecture 로봇 두 대가 말 없이 협업? 피규어 AI 암묵적 협업 기술의 비밀 The Developer’s Guide to Translating Foreign PDFs (Text, OCR, and AI Workflows) Building ReefWatch, a Coral-Powered Production Triage Agent Enterprise AI Governance Starts With Identity, Not Inference Kubernetes Pod Autoscaling: A Key to Efficient Resource Utilization Refactoring and Optimization Workflows: Turning Messy Code into Clean, Fast Systems OpenAI’s Frontier Governance Framework: Risk Tiers, Trusted Access, and What Developers Need to Know Hiring an AI Development Company? Ask These 7 Questions First Finishing My Personal Website: Mobile-Friendly, Dark Mode, and a Better Projects Section The Real Sovereign OS - OnemanBSD updated! Anthropic Launches Claude Opus 4.8 — A Powerful New AI Model for the Future Building a Production-Grade Customer Inquiry Auto-Responder with SQLite Logging Anthropic Just Dropped Claude Opus 4.8: What It Means for Developers 🚀 How I Built CoralSec Copilot: A Unified Enterprise SOC with Coral & Next.js in 4 Days This week in agent commerce: seven moves, and where atomic settlement actually sits Ghostty Is Leaving GitHub, and It Won't Be the Last PostgreSQL 08003 오류 원인과 해결 방법 완벽 가이드 JDK 26 Pitfalls: Why CPU-Bound Tasks are Killing Your Virtual Threads Oracle ORA-00057 오류 원인과 해결 방법 완벽 가이드 When the Event Log Became a Liability: What Happened When We Treated Events Like Garbage Linkedlist leetcode 文章标题23 文章标题 🧠 NeuroDoc: From Broken Prototype to Production-Ready Async AI Documentation Engine 主流 Android 架构十年演化史——我们到底在解决什么问题? A Decade of Android Architecture Evolution: What Problem Are We Really Solving? I watched a machine do the impossible. Now I'm learning to build one. The Six Things That Broke During My kubeadm Setup on Hetzner — and How I Fixed Them How to Create ByteByteGo Like Animated Diagrams for Free Why I drop from Fedora to BRGV-OS MP3 - SQLi, XSS, and CSRF WriteUp Apache Kafka End of Life: Kafka Versions EOL Every 4 Months — Are You Behind? Ruby on Rails End of Life: Rails 6.1 EOL, Rails 7.0 EOL — What's Still Supported in 2026 CentOS is Dead: CentOS 7 EOL June 2024, CentOS 8 EOL Dec 2021 — Your Migration Options Veeam Backup & Replication End of Life: What EOL Backup Software Means for Your Compliance Posture Threat Detection in Kubernetes with Falco My test suite was green. My software was lying to me. Debugging Playwright CDP Sessions That Lose Cookies and Proxy Context How Developers Are Actually Using AI at Work in 2026: A Brutally Honest Analysis of 10,000+ PRs, Real Productivity Data, and What Nobody's Talking About Apache Tomcat End of Life: Tomcat 9 is EOL — Migration Guide to Tomcat 10/11 The Open Source Illusion: Why "Free" AI Models Are Getting Expensive 102. Multi-Agent Systems: When One Agent Is Not Enough Processing a 2GB CSV in Node Without Running Out of Memory Math.random() Is Not Random Enough. I Found It Building API Keys in a 44K-Star Repo. I tracked Claude Code and Codex pass-rates for 95 days — what "getting dumber" actually looks like How I Built an AI Agent That Earns $500/Month in Open Source Bounties — Full Architecture, Real Code, and Honest Numbers After 72 Hours Why Digital Agencies Are Moving Client Sites to Headless CMS in 2026 Why I Built a Scientific Calculator in Pure C for Terminal Environments Built ResumeTrust AI: A MERN + Gemini Tool to Catch Fake Resume Skills 🛡️💻 Yo Vibe Coders, Stop Building FE Slop and Use Telegram Groups Instead Building with Bun and Cosmic: The Fastest JavaScript Stack in 2026 10 Essential Developer Tools You Didn't Know You Needed (All Free, No Signup) Account Arrears Fine-Tuning Qwen2.5-0.5B to Write SRE Post-Mortem Summaries Observability Telemetry and Predictive AIOps Hermes Agent for Developers: The Open Source AI Agent That Learns & Remembers Demystifying the Trinity: Functor, Applicative, and Monad in PureScript Tracking Five Upstreams, Fuzzing the Parsers, and a Front Door: What Changed in llm-cli-gateway Building a Cover Flow for Missed Shifts Day 19 - Relational Database Service Automate Kubernetes Image Vulnerability Scanning AI at the Wheel: When Hacking Stops Needing a Human" published: false description: "Five threats from late May 2026 mark an inflection point. The Agent Is Easy. The Loop Is the Job. — A Developer's No-BS Guide to AI Engineering in 2026 How Tall Tales Got Designed (in Letters) How We Built a Node.js Scaffolding Engine with Over 1 Million Mathematically Verified Architecture States I Found an AI Agent That Actually Remembers Everything Event-Driven Architectures with Apache Kafka: Powering the Next Generation of Banking Transformation Through Agentic AI and Real-Time Analytics Abusing c_variadic in Rust 인텔이 애플 칩을 제조한다 — 미국 반도체 자립 전략이 만든 거래 Your AI agent has a master key to everything. Here's why that's a problem. OpenAI Codex vs Google Antigravity: Architecture, Workflow, and Key Differences SecAPI: Secure, AI-Driven API Key Management & Leak Prevention Tauri Sandbox Permissions — Why Your Command Silently Does Nothing SQL Pattern Series #1: The Presence Pattern You'll not be replaced by AI if ... Every tutorial tells you to add .env to .gitignore. That's not enough. The First Brick on the Walled Garden — Rethinking e-Food Delivery as an Open Protocol How I Built My First AI-Powered App Without Writing a Single Line of Code 클로드 AI 중국 암시장 유통 실태 — 모델 증류로 정가의 10%에 복제되다 You're Using Git Wrong — How Worktrees Will Change Your Workflow Forever I Tested Every Web Scraping Tool Against Lazada — Here's What Actually Works (May 2026)
Building a Verification-First AI Coding Agent: Why I Abandoned "Generate-and-Pray"
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!