Deterministic pre-write guard for AI coding agents. Blocks an Edit/Write that references a symbol your repo doesn't have — before it lands, not after the build fails. No LLM, no API keys, ~0 tokens: the same code produces the same answer. Catches hallucinated bare calls, consts and type refs; 4 of 9 on our real-hallucination benchmark.

Minimalist MCP server (8 tools) + hooks for anti-hallucination in AI coding assistants. AST-based symbol checking with confidence scoring, fuzzy matching, cross-session hallucination tracking, secret redaction, and token-optimized command output. Works with Claude Code, Codex, Antigravity IDE, Cursor, Windsurf, and any MCP client.