PyPI recent updates for nightjar-verify https://pypi.org/project/nightjar-verify/ Recent updates to the Python Package Index for nightjar-verify en 0.1.3 https://pypi.org/project/nightjar-verify/0.1.3/ Formal verification pipeline for AI-generated Python code — 5-stage proof from syntax to Dafny, with CVE scanning, property-based testing, and CEGIS retry loop. hello@nightjar.dev Mon, 30 Mar 2026 04:11:25 GMT 0.1.2 https://pypi.org/project/nightjar-verify/0.1.2/ Formal verification pipeline for AI-generated Python code — 5-stage proof from syntax to Dafny, with CVE scanning, property-based testing, and CEGIS retry loop. hello@nightjar.dev Sun, 29 Mar 2026 17:22:37 GMT 0.1.1 https://pypi.org/project/nightjar-verify/0.1.1/ Formal verification pipeline for AI-generated Python code — 5-stage proof from syntax to Dafny, with CVE scanning, property-based testing, and CEGIS retry loop. hello@nightjar.dev Sun, 29 Mar 2026 02:28:56 GMT 0.1.0 https://pypi.org/project/nightjar-verify/0.1.0/ Formal verification pipeline for AI-generated Python code — 5-stage proof from syntax to Dafny, with CVE scanning, property-based testing, and CEGIS retry loop. hello@nightjar.dev Sat, 28 Mar 2026 18:29:10 GMT