a3-python
Catch real Python bugs before production — 99%+ accuracy, Z3 symbolic execution, LLM-powered false-positive filtering, zero-config GitHub CI
- Latest release
- Feb 13, 2026
- Releases
- 12
- Known CVEs
- 0
- First release
- Feb 10, 2026
- License
- —
Insights
Activity
- Total releases
- 12
- Last 12 months
- 12
- Cadence
- ~daily
- Dependencies
- 6
Releases per month
last 12 monthsRelease mix
- patch 11
12
releases
Dependencies
Depends on
0.1.23-
anthropic
>=0.30.0
-
openai
>=1.0.0
-
pytest
>=7.0
-
pytest-cov
>=4.0
-
pyyaml
>=6.0
-
z3-solver
>=4.15.4
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
0.1.23
patch
|
0.1.23
patch
Dependencies (6)
|
|
0.1.22
patch
|
0.1.22
patch
|
|
0.1.21
patch
|
0.1.21
patch
|
|
0.1.20
patch
|
0.1.20
patch
|
|
0.1.19
patch
|
0.1.19
patch
|
|
0.1.18
patch
|
0.1.18
patch
|
|
0.1.17
patch
|
0.1.17
patch
|
|
0.1.16
patch
|
0.1.16
patch
|
|
0.1.15
patch
|
0.1.15
patch
|
|
0.1.13
patch
|
0.1.13
patch
|
|
0.1.12
patch
|
0.1.12
patch
|
|
0.1.11
initial
|
0.1.11
initial
|