Open Issues Need Help
View All on GitHub Smith: coraza-coreruleset (triage-trial) about 1 month ago
help wanted
Prove security properties of your regexes with Z3 — playbook + toolkit for coding agents (verified on z3-solver 5.0.0)
Python
Smith: xibo-cms (go) about 1 month ago
help wanted
Prove security properties of your regexes with Z3 — playbook + toolkit for coding agents (verified on z3-solver 5.0.0)
Python
About: set GitHub topics (housekeeping suggest) about 2 months ago
good first issue housekeeping
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 2 months ago
documentation good first issue housekeeping
Prove security properties of your regexes with Z3 — playbook + toolkit for coding agents (verified on z3-solver 5.0.0)
Python