Avatar for Jax Tran Xuan Quang from gravatar.com

Jax Tran Xuan Quang

Username    j4ngzzz
Date joined   Joined

2 projects

nightjar-verify

Last released

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.

nightjarzzz

Last released

DEPRECATED — this package has been renamed to nightjar-verify. Please update your dependencies.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page