lucas-albers-lz4

lucas-albers-lz4/regexproof

Prove security properties of your regexes with Z3 — playbook + toolkit for coding agents (verified on z3-solver 5.0.0)

0 stars 0 forks 0 watchers Python MIT License

2 Open Issues Need Help Last updated: Aug 8, 2026

Open Issues Need Help

View All on GitHub

About: set GitHub topics (housekeeping suggest) about 4 hours ago

good first issue housekeeping

lucas-albers-lz4/regexproof

0

Prove security properties of your regexes with Z3 — playbook + toolkit for coding agents (verified on z3-solver 5.0.0)

Python

README: add license badge (housekeeping suggest) about 4 hours ago

documentation good first issue housekeeping

lucas-albers-lz4/regexproof

0

Prove security properties of your regexes with Z3 — playbook + toolkit for coding agents (verified on z3-solver 5.0.0)

Python