ZIL - Relational knowledge language for Lean 4 AI projects

Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

ZIL is a compact relational language built on Lean 4 that maps project components, requirements, and dependencies using a model inspired by Google Zanzibar. It enables developers and AI assistants to query complex relationships, such as which code implements a requirement or what tasks are blocked by an issue. By combining Datalog-style rules with Lean's verification power, ZIL creates a shared, verifiable project map that enhances impact analysis, documentation, and automated reasoning across software repositories.