Lilith

Project information

Project ID: 82366637

Verification engine for AI-assisted software changes

AI bdd developer-tools formal-methods gherkin ocaml static-analysis verification

9 Commits
1 Branch
1 Tag
1 Release

README
Apache License 2.0

Created on

May 20, 2026