zil-lean

A Lean4 Datalog DSL based on Google Zanzibar, designed for AI projects.

CategoriesDevAI

Why it made the shelf

It is a developer tool and domain-specific language for Lean4 implementing Google Zanzibar-style authorization logic.

On 5 boards

Hacker News
Lobsters
Reddit
Around the web
Uneed

First seen: 2 months ago
Best score: 18 points · 2 comments

Visit github.com

Suggest a correction

Best matches

See all

SentrintDirect alternative
TrajecktDirect alternative
AxtaryDirect alternative

Official signals

What the source shows.

Sourced facts from the places where this tool ships.

From GitHub

Snapshot refresh queued

Open source

GitHub stars: 34
Last code update: 2026-08-08

Behind the tool

Who built it. How it grew.

People, backing, growth, and ownership. Every claim links to its source.

Official sitegithub.com

Source review current

Built by

Jorge A. GarciaRepository ownerPlatform record · GitHub
Jose A. GarciaauthorPlatform record · GitHub

Public trail

Where it showed up

1 reference from 1 publisher.

First trace: Reddit2 months ago

3 tools

Compare Browse Dev

Vechron Scanner
A security scanner designed to find exposed AWS credentials in Terraform state files.
OneCLI
Open-source credential gateway that securely keeps secrets out of AI agents.

zil-lean

What the source shows.

Who built it. How it grew.

Built by

Where it showed up

Vechron Scanner

OneCLI

Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Argus Red CLI

zil-lean

Built by

Where it showed up

More for this job

Vechron Scanner

OneCLI

Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

Argus Red CLI