Lilith-Zero
Rust security middleware that stops AI agents from exfiltrating your data
Lilith-Zero is a security runtime written in Rust that sits between your AI agent and its MCP tool servers, enforcing deterministic access control policies and blocking data exfiltration attempts before they reach the wire. It targets what it calls the "Lethal Trifecta"—the attack chain of accessing private data, incorporating untrusted content, then exfiltrating the combination—and blocks all three steps automatically. The technical stack is serious: fail-closed architecture (default-deny everything), dynamic taint tracking that marks sensitive data with session-bound tags, cryptographically signed HMAC-SHA256 audit logs, and formal verification via the Kani prover plus cargo-fuzz fuzzing infrastructure. Performance overhead is under 0.5ms at p50 with a 4MB memory footprint. It ships as a pip-installable Python SDK that auto-discovers and wraps its Rust binary. This is a Show HN project that appeared on Hacker News today and is currently at version 0.1.3 with 260 commits—small community (15 stars) but deeply engineered. As AI agents gain write access to filesystems, databases, and APIs, the absence of a policy enforcement layer becomes a serious liability. Lilith-Zero is one of the first open-source tools to treat this problem with the rigor it deserves.
Panel Reviews
Dev Patel
Indie hacker & full-stack builder
“The Kani formal verification and cargo-fuzz integration tell me this isn't just a vanity security project—it's been engineered to actually be correct. Sub-millisecond overhead means there's no reason not to run this in front of every MCP agent deployment. 15 stars seems like an embarrassing undercount given what this does.”
Mira Volkov
Senior SWE, ex-Google
“The claims are impressive but 15 GitHub stars and one maintainer is not a security tool I'd deploy in production. Security tools require adversarial testing by the community over time—not just formal verification. The fail-closed design is correct philosophically, but I'd want to see 6 months of battle-testing and independent security audits before trusting it with real agent deployments.”
Zara Chen
AI researcher & futurist
“This is the tool that enterprise security teams will demand before they let any AI agent touch production systems. The taint tracking model is particularly elegant—once data is tagged as sensitive, it can't flow to untrusted destinations regardless of what the LLM decides to do. This is the kind of principled security primitive the agentic ecosystem desperately needs.”
Priya Anand
Content creator & no-code builder
“Way too deep in the Rust/MCP security weeds for me to evaluate or use. This is infrastructure for enterprise AI security teams—not something a content creator or indie builder will interact with directly. Worth knowing it exists; not something I'll try this week.”
Community Sentiment
“The Lethal Trifecta framing is a useful mental model for agentic security — glad someone is working on tooling for it”
“Hard to evaluate without security community review but the formal verification approach is promising”
“Finally someone building serious security tooling for MCP — HMAC audit logs and taint tracking in a pip package”