ZIL is a small relational language for describing project relationships and rules, implemented inside Lean 4, which checks definitions, programs, and proofs. ZIL stores project relationships, including requirements, documents, tests, tasks, and dependencies, allowing developers and tools to query and analyze the project map.