GitHub
A Python library for verifying code properties using natural language assertions.
Snapshot: 2026-04-01