Software Passport · public repository
Axiomatic-AI/ax-prover-base
Observed by SPR on 2026-09-14 at commit c8e845533d386e198b32fc3f00841fc3e77094c2 (main). Source: github.com/Axiomatic-AI/ax-prover-base.
What was observed
Syft generated the software bill of materials from the repository's manifests; each component was checked against the OSV vulnerability database; the tree was scanned for secrets, infrastructure-as-code issues and licence signals. Vendor-supplied attestations: none — this page contains only independent observation.
Open findings (top 25 of 281)
| Severity | Finding | Component | Fixed in |
|---|---|---|---|
| CRITICAL | GHSA-284h-m62q-gf8w | gitpython@3.1.46 | |
| HIGH | GHSA-qccp-gfcp-xxvc | urllib3@2.6.3 | |
| HIGH | GHSA-mf9v-mfxr-j63j | urllib3@2.6.3 | |
| HIGH | GHSA-836r-79rf-4m37 | soupsieve@2.8.3 | |
| HIGH | GHSA-2wc2-fm75-p42x | soupsieve@2.8.3 | |
| HIGH | GHSA-hm4w-wwcw-mr6r | pyasn1@0.6.2 | |
| HIGH | GHSA-8ppf-4f7h-5ppj | pyasn1@0.6.2 | |
| HIGH | GHSA-jr27-m4p2-rc6r | pyasn1@0.6.2 | |
| HIGH | GHSA-m4p7-r5rc-7g4j | pyasn1@0.6.2 | |
| HIGH | GHSA-f4xh-w4cj-qxq8 | langsmith@0.7.1 | |
| HIGH | GHSA-3644-q5cj-c5c7 | langsmith@0.7.1 | |
| HIGH | GHSA-qh6h-p6c9-ff54 | langchain-core@1.2.11 | |
| HIGH | GHSA-pjwx-r37v-7724 | langchain-core@1.2.11 | |
| HIGH | GHSA-7545-fcxq-7j24 | gitpython@3.1.46 | |
| HIGH | GHSA-7833-fr7j-v32q | gitpython@3.1.46 | |
| HIGH | GHSA-rpm5-65cw-6hj4 | gitpython@3.1.46 | |
| HIGH | GHSA-8mcc-hrx5-hvxc | gitpython@3.1.46 | |
| HIGH | GHSA-6p8h-3wgx-97gf | gitpython@3.1.46 | |
| HIGH | GHSA-r9mr-m37c-5fr3 | gitpython@3.1.46 | |
| HIGH | GHSA-rwj8-pgh3-r573 | gitpython@3.1.46 | |
| HIGH | GHSA-3f7w-8rr8-f37f | gitpython@3.1.46 | |
| HIGH | GHSA-jm78-9fvv-mhgr | gitpython@3.1.46 | |
| HIGH | GHSA-4gmw-gg2m-w46p | gitpython@3.1.46 | |
| HIGH | GHSA-mv93-w799-cj2w | gitpython@3.1.46 | |
| HIGH | GHSA-fjr4-x663-mwxc | gitpython@3.1.46 |
Get the full passport
Continuous verification, evidence ledger, plain-English and auditor reports, and a shareable signed passport are available to SPR customers.
See plans Review your own repository freeSoftware Passport Registry Ltd. Every number on this page was observed by SPR's own scan of the public repository at the commit shown; nothing is estimated or vendor-supplied. Absence of a finding is not proof of safety. Terms · Privacy