Lilith-Zero vs Linear AI Issue Triage

“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.”

“The primitive here is a classification layer that reads issue text and maps it to owner + priority using historical assignment data as training signal — not a new LLM wrapper, but a feedback loop built into the tool you're already using. The DX bet is 'zero config if you've been using Linear for six months,' which is the right call: teams with existing data get value immediately, greenfield teams get nothing. The moment of truth is the first batch of auto-triaged issues — if the routing is wrong three times in a row, engineers will turn it off. The fact that Linear owns the historical data is what makes this not replicable with a weekend script; a Lambda calling GPT-4 doesn't have your team's assignment history baked in.”

“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.”

“Direct competitors are Jira's AI features and GitHub Issues with Copilot suggestions — both of which are catching up fast on routing and classification. The scenario where this breaks is a team with noisy, inconsistent historical data: if your past triage was bad, the model learns to replicate bad triage, and you've now automated your dysfunction. The 12-month prediction: Linear wins this quietly because the data moat is real — every team that uses it for six months makes the feature meaningfully better for them specifically, which is a switching cost Jira can't easily replicate. What would have to be true for me to be wrong: Atlassian ships a retroactive learning model that ingests existing Jira history better than Linear ingests its own.”

“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.”

“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.”

“The job-to-be-done is unambiguous: stop issues from sitting in an untriaged queue for 48 hours because the on-call engineer forgot to check Linear. That's a real, specific, painful job, and this feature does exactly that one thing without asking the user to configure a routing matrix first. Onboarding is the product's strongest card — if you're already on Linear with six months of history, the feature activates and starts suggesting immediately; no setup wizard, no taxonomy to define. The gap between shipped and needed is confidence scoring: right now there's no visible signal for 'the model is 90% sure' vs 'the model is guessing,' which means engineers can't calibrate how much to trust any given auto-assignment without watching it for weeks.”

“The buyer is an engineering team already on Linear's Pro or Business plan, which means this is a retention and upsell feature, not a new acquisition wedge — and that's actually the right strategic move. Linear doesn't need to justify a new SKU; they need to make the existing subscription feel indispensable, and 'your issue queue triages itself' is a credible reason to not switch to Jira or Shortcut. The moat is the historical assignment data sitting inside Linear's own database — not a model advantage, but a data gravity advantage that gets stronger with time. The risk is that Linear's per-seat pricing doesn't scale with the value delivered by AI features to large orgs, which means they'll eventually face pressure to restructure pricing around seats versus AI consumption, and that's a messy conversation.”