Lilith-Zero vs Linear AI Project Planner

“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 spec-to-issue decomposition with topological dependency ordering — and unlike most AI planning tools, it lands directly into the existing data model instead of exporting a CSV you then have to re-enter by hand. The DX bet is zero-new-surface: if you already use Linear, the generated issues obey your team's labels, assignee rules, and cycle cadence, which is the right call. The moment of truth is whether the dependency graph survives contact with a real spec that has ambiguous ordering — from the demo, it handles straightforward CRUD-style feature trees well but I'd want to see it on a spec with cross-team platform dependencies before I trust it on anything critical. Still, this is genuinely not replicable with three API calls in a Lambda — the tight integration with Linear's graph model is the actual work.”

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

“The direct competitor is Notion AI with project templates plus every ClickUp AI planning feature, both of which produce floating documents that you then manually translate into actual tracked work — Linear's version skips that translation step and that gap is real. The scenario where this breaks: any team whose projects require cross-workspace dependencies, external stakeholders, or non-Linear tooling in the critical path; the dependency graph becomes a partial fiction the moment half your blockers live in Jira or GitHub Issues. What kills this in 12 months isn't a competitor — it's Linear itself, because this feature becomes table stakes and the question becomes whether the underlying planning quality is good enough to keep users from reverting to manual breakdown after the first embarrassing misestimate.”

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

“The thesis here is falsifiable: by 2028, project planning is not a human-authored artifact but a continuously inferred structure derived from specs, code history, and team velocity — and the team that owns the graph owns the workflow. Linear is riding the trend of AI collapsing the distance between intent and execution, and they are on-time, not early; GitHub Copilot Workspace and Atlassian Intelligence are already staking adjacent claims. The second-order effect that matters isn't faster planning — it's that if the dependency graph is auto-generated and auto-updated, project managers stop being the people who maintain the plan and start being the people who adjudicate AI-generated plans, which is a meaningful power shift inside engineering orgs. The bet only fails if model-generated decompositions turn out to be systematically wrong in ways that erode trust faster than iteration improves them.”

“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: turn a product spec into a tracked, ordered, estimated work breakdown without a two-hour planning meeting — and for teams already in Linear, this does that job in one pass. Onboarding is effectively zero because there's no new product to adopt; the AI surfaces inside the existing create-project flow, which means time-to-value is measured in seconds if you have a spec ready to paste. The opinion baked into this product is that the AI should generate a complete starting state rather than asking clarifying questions, and that's the right call — the worst thing a planning tool can do is add more decisions to a flow meant to reduce them. The gap is estimate calibration: generated estimates are flat defaults unless the AI can learn from your team's historical velocity, and I'd want to see that feedback loop close before calling this complete.”