Show HN: Emetgate – a verification gate between an LLM and your source tree

Category: devtools

Tags: mcp-server, llm-coding, verification, sandbox, zig, code-safety, typescript

Score: 7.5/10 (Innovation: 8, Technical: 8, Documentation: 8, Utility: 6)

Emetgate is an MCP server written in Zig that acts as a verification gate between an LLM coding agent and the source tree: proposed changes are parsed, checked against user-defined rules, typechecked, and tested in a sandbox copy before being written or committed with a verifiable receipt. It also provides code exploration tools and a Claude Code lockdown mode that marks each write with אמת (truth) or מת (dead). Its rigorous testing—mutation testing, TLA+ model checking, crash tests—and measured benchmark against Serena and others make it notable.

Target audience: Backend developers and AI/DevOps engineers integrating LLM coding agents into production workflows

Repository: https://github.com/emetgate/emetgate · Zig · MIT · 2 stars

View on Hacker News