ZIL是一个基于Google Zanzibar论文的Lean4关系型语言和领域特定语言（DSL），用于在项目中描述对象、它们之间的关系以及衍生规则。该工具为开发者、审查工具、CI流程、文档工具和AI助手提供统一的项目关系图查询接口。