Lilith-Zero vs marimo-pair

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.

marimo-pair is an open-source extension for marimo reactive notebooks that lets you drop AI agents directly into live, running notebook sessions. Unlike traditional AI coding assistants that only see static code, these agents can execute cells, inspect in-memory variables, read dataframes, manipulate UI components, and iterate on your actual live state — not a static snapshot. The tool plugs into Claude Code via a marketplace plugin and supports any agent implementing the Agent Skills standard. An agent that can see and run your notebook opens up genuinely new workflows: "explore this dataframe and tell me what's anomalous," "run this hypothesis test on the data already in memory," or "generate a chart for each of these 12 conditions." It's the difference between an assistant that reads your code and one that works alongside you in your actual environment. Marimo itself is already a compelling React-based replacement for Jupyter — every cell tracks its dependencies so the notebook is always consistent. marimo-pair makes that reactive model collaborative with AI, enabling a new style of human-AI pair programming where the agent shares your full computational context.