# bunkerity/bunkerweb — health index 76/100 (Good)

> Inspection of the public repository bunkerity/bunkerweb by inspect.software. It holds a health index of 76 out of 100, placing it in the Good band. The index is a signal derived from publicly visible practice, not a warranty, a security audit, or an endorsement, and it is independent of payment.

- Repository: https://github.com/bunkerity/bunkerweb
- Report page: https://inspect.software/software/bunkerity/bunkerweb
- Full JSON report: https://inspect.software/api/repositories/bunkerity/bunkerweb/report
- Badge: https://raw.githubusercontent.com/inspect-software/badges/main/v1/b/bunkerity/bunkerweb.svg
- Inspected: 2026-07-20
- Methodology: metrics 1.13.0, report schema 0.15.0 (https://inspect.software/methodology.md)

## Category summary

| Category | Weight | Index | Band |
|---|---|---|---|
| Vitality | 22% | 96/100 | Excellent |
| Community & Adoption | 18% | 90/100 | Excellent |
| Sustainability & Governance | 24% | 54/100 | Moderate |
| Engineering Quality | 20% | 89/100 | Excellent |
| Security | 16% | 52/100 | Moderate |
| AI Readiness | not counted | 82/100 | Good |

## Repository facts

| Field | Value |
|---|---|
| Description | 🛡️ Open-source and cloud-native Web Application Firewall (WAF) |
| Homepage | https://www.bunkerweb.io |
| Primary language | Python |
| License | AGPL-3.0 |
| Stars | 10,732 |
| Forks | 636 |
| Created | 2019-08-20 |
| Last push | 2026-07-17 |
| Latest release | v1.6.13 |
| Commits (last year) | 2,120 |
| Bus factor | 1 |
| Topics | nginx, modsecurity, docker, security, dnsbl, reverse-proxy, hardening, web-security, security-tuning, cybersecurity, devsecops, antibot, letsencrypt, swarm, kubernetes, devops, hosting, waf, web-application-firewall, waap |

## Vitality — 96/100 (Excellent)

Is the project alive — is code being written and are releases shipping? Weight: 22% of the overall index.

### Development activity — 100/100 (Excellent)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Push recency | met | 36 / 36 | last push 2 days ago |
| Commit cadence | met | 36 / 36 | 52/52 weeks with commits |
| Commit volume | met | 18 / 18 | 2120 commits in the last year |
| OpenSSF Scorecard: Maintained | met | 10 / 10 | 30 commit(s) and 24 issue activity found in the last 90 days -- score normalized to 10 |

### Release discipline — 90/100 (Excellent)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Ships releases | met | 27 / 27 | 86 releases published |
| Release recency | met | 36 / 36 | latest release 3 days ago |
| Release cadence | met | 27 / 27 | a release every ~6.4 days |
| OpenSSF Scorecard: Signed-Releases | not met | 0 / 10 | Project has not signed or included provenance with any releases. |

### Abandonment — 100/100 (Excellent)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Project is still maintained | met | 100 / 100 | maintenance record not established from the collected data |

## Community & Adoption — 90/100 (Excellent)

Does the project have users, downloads, attention, and a welcoming setup for contributors? Weight: 18% of the overall index.

### Popularity & adoption — 94/100 (Excellent)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Stars | met | 60 / 60 | 10,732 stars |
| Forks | partial | 23.4 / 25 | 636 forks |
| Watchers | partial | 10.8 / 15 | 88 watchers |

### Community health — 85/100 (Excellent)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| README | met | 22.5 / 22.5 | — |
| License | met | 22.5 / 22.5 | recognized license (AGPL-3.0) |
| CONTRIBUTING guide | met | 18 / 18 | — |
| Code of conduct | met | 13.5 / 13.5 | — |
| Issue template | not met | 0 / 7.2 | — |
| PR template | not met | 0 / 6.3 | — |

## Sustainability & Governance — 54/100 (Moderate)

Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep? Weight: 24% of the overall index.

### Maintainer resilience (bus factor) — 40/100 (At risk)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Bus factor | partial | 9 / 54 | 1 contributor(s) cover half of all commits |
| Commit distribution | partial | 8 / 22.5 | top contributor authored 65% of commits |
| Contributor breadth | met | 13.5 / 13.5 | 50 contributors |
| OpenSSF Scorecard: Contributors | met | 10 / 10 | project has 5 contributing companies or organizations |

### Issue & PR responsiveness — 61/100 (Moderate)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Issue resolution | partial | 40.7 / 46.8 | 87% of issues closed |
| PR acceptance | partial | 20 / 38.2 | 1394/2660 decided PRs merged |
| OpenSSF Scorecard: Code-Review | not met | 0 / 15 | Found 0/2 approved changesets -- score normalized to 0 |

### Ownership & stewardship — 65/100 (Moderate)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Ownership backing | met | 30 / 30 | organization-owned |
| Verified domain | not met | 0 / 20 | — |
| Owner reach | partial | 16.9 / 25 | 220 followers of bunkerity |
| Track record | partial | 18.5 / 25 | 13 public repos, account ~5 yr old |

## Engineering Quality — 89/100 (Excellent)

Are baseline engineering and documentation practices in place? Weight: 20% of the overall index.

### Engineering practices — 82/100 (Good)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| CI workflows | met | 24 / 24 | 25 workflow(s) |
| Tests present | met | 24 / 24 | — |
| Linter config | met | 16 / 16 | .pylintrc |
| Pre-commit hooks | met | 9.6 / 9.6 | — |
| .editorconfig | met | 6.4 / 6.4 | — |
| OpenSSF Scorecard: CI-Tests | partial | 2 / 20 | 2 out of 11 merged PRs checked by a CI test -- score normalized to 1 |

### Documentation — 100/100 (Excellent)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| README | met | 30 / 30 | — |
| Documentation directory | met | 25 / 25 | — |
| Documentation / homepage site | met | 15 / 15 | https://www.bunkerweb.io |
| Repository description | met | 10 / 10 | — |
| Topics | met | 10 / 10 | 20 topics |
| Wiki | met | 10 / 10 | — |

## Security — 52/100 (Moderate)

Are visible security and supply-chain practices strong, with no malicious dependency and no unresolved high-risk jurisdiction exposure? Weight: 16% of the overall index.

### Security posture — 52/100 (Moderate)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Binary-Artifacts | partial | 6.8 / 7.5 | binaries present in source code |
| Branch-Protection | partial | 0.8 / 7.5 | branch protection is not maximal on development and all release branches |
| CI-Tests | partial | 0.2 / 2.5 | 2 out of 11 merged PRs checked by a CI test -- score normalized to 1 |
| CII-Best-Practices | partial | 1.2 / 2.5 | badge detected: Passing |
| Code-Review | not met | 0 / 7.5 | Found 0/2 approved changesets -- score normalized to 0 |
| Contributors | met | 2.5 / 2.5 | project has 5 contributing companies or organizations |
| Dangerous-Workflow | met | 10 / 10 | no dangerous workflow patterns detected |
| Dependency-Update-Tool | met | 7.5 / 7.5 | update tool detected |
| Fuzzing | not met | 0 / 5 | project is not fuzzed |
| License | met | 2.5 / 2.5 | license file detected |
| Maintained | met | 7.5 / 7.5 | 30 commit(s) and 24 issue activity found in the last 90 days -- score normalized to 10 |
| Packaging | met | 5 / 5 | packaging workflow detected |
| Pinned-Dependencies | partial | 4.5 / 5 | dependency not pinned by hash detected -- score normalized to 9 |
| SAST | partial | 4 / 5 | SAST tool detected but not run on all commits |
| Security-Policy | partial | 2 / 5 | security policy file detected |
| Signed-Releases | not met | 0 / 7.5 | Project has not signed or included provenance with any releases. |
| Token-Permissions | not met | 0 / 7.5 | detected GitHub workflow tokens with excessive permissions |
| Vulnerabilities | not met | 0 / 7.5 | 44 existing vulnerabilities detected |

### High-Risk Jurisdiction Exposure — 100/100 (Excellent)

Only high-confidence self-published location evidence affects this multiplier. Ambiguous matches are review-only; country evidence is not proof of nationality, citizenship, legal registration, malicious intent, or sanctions status.

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Policy exposure multiplier | met | 100 / 100 | no confirmed policy-scope location match |

## AI Readiness — 82/100 (Good)

How well is the repo equipped to be developed and maintained with AI coding agents? An independent, experimental badge — weight 0.0, so it is surfaced on its own and does not affect the overall health score.

### Agent context & guidance — 75/100 (Good)

Excluded from scoring (no data or not applicable): Legible commit history. Remaining weights renormalized.

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Agent instructions | met | 45 / 45 | .github/copilot-instructions.md, AGENTS.md, CLAUDE.md, examples/mcp-stack/CLAUDE.md |
| Machine-readable docs (llms.txt) | not met | 0 / 15 | — |
| Legible commit history | excluded | 0 / 40 | no data |

### Verify loop (build / test / typecheck) — 96/100 (Excellent)

Excluded from scoring (no data or not applicable): Demonstrated agent practice. Remaining weights renormalized.

| Criterion | Status | Points | Detail |
|---|---|---|---|
| One-command bootstrap | met | 18 / 18 | src/deps/src/brotli/python/Makefile, src/deps/src/libinjection/go/Makefile, src/deps/src/libinjection/lua/Makefile, src/deps/src/libinjection/misc/Makefile, src/deps/src/libinjection/php/Makefile, src/deps/src/libinjection/python/Makefile, src/deps/src/libmaxminddb/mise.toml, src/deps/src/lua-5.1.5/Makefile, src/deps/src/lua-5.1.5/etc/Makefile, src/deps/src/lua-5.1.5/src/Makefile, src/deps/src/lua-cjson/Makefile, src/deps/src/lua-gd/Makefile, src/deps/src/lua-nginx-module/misc/recv-until-pm/Makefile, src/deps/src/lua-resty-core/Makefile, src/deps/src/lua-resty-dns/Makefile, src/deps/src/lua-resty-env/Makefile, src/deps/src/lua-resty-http/Makefile, src/deps/src/lua-resty-ipmatcher/Makefile, src/deps/src/lua-resty-lock/Makefile, src/deps/src/lua-resty-lrucache/Makefile, src/deps/src/lua-resty-openssl/Makefile, src/deps/src/lua-resty-random/Makefile, src/deps/src/lua-resty-redis-connector/Makefile, src/deps/src/lua-resty-redis/Makefile, src/deps/src/lua-resty-session/Makefile, src/deps/src/lua-resty-signal/Makefile, src/deps/src/lua-resty-string/Makefile, src/deps/src/lua-resty-template/Makefile, src/deps/src/lua-resty-upload/Makefile, src/deps/src/luajit-geoip/Makefile, src/deps/src/luajit/Makefile, src/deps/src/luajit/src/Makefile, src/deps/src/luajit/src/x64/Makefile, src/deps/src/luajit/src/x64/test/Makefile, src/deps/src/lualogging/Makefile, src/deps/src/luasec/Makefile, src/deps/src/luasec/src/Makefile, src/deps/src/luasec/src/luasocket/Makefile, src/deps/src/luasocket/gem/makefile, src/deps/src/luasocket/makefile, src/deps/src/luasocket/src/makefile, src/deps/src/mbedtls/library/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/dev/aarch64_opt/src/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic_deterministic/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/basic_lowram/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/bring_your_own_fips202/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/bring_your_own_fips202_static/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/custom_backend/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_multilevel/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_multilevel_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/monolithic_build_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/multilevel_build/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/examples/multilevel_build_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/H/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/attempt_signature_generation/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/check_pct/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/compute_pack_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/compute_t0_t1_tr_from_sk_components/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_abs_i32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_neg_i32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_nonzero_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_cmask_nonzero_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_i64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_get_optblocker_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_memcmp/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ct_sel_int32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/fqmul/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/fqscale/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/invntt_layer/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_absorb_once_x4/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccak_squeezeblocks_x4/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_extract_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_extract_bytes_BE/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_permute/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_permute_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_xor_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600_xor_bytes_BE/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_extract_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_permute/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_permute_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/keccakf1600x4_xor_bytes/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/montgomery_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_butterfly_block/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_layer/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/ntt_native_x86_64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_pk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sig_c_h/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sig_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/pack_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_add/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_caddq_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_challenge/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_chknorm_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_decompose_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_invntt_tomont_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_ntt_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_pointwise_montgomery_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_shiftl/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_sub/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_eta_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_gamma1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_uniform_gamma1_4x/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/poly_use_hint_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyeta_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyeta_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polymat_permute_bitrev_to_custom/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt0_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt0_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt1_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyt1_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_expand/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_expand_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvec_matrix_pointwise_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_add/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_caddq/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_decompose/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_invntt_tomont/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_make_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_t0/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pack_w1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_pointwise_poly_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_reduce/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_shiftl/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_sub/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_unpack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_unpack_t0/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyveck_use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_chknorm/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_ntt/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_permute_bitrev_to_custom/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_permute_bitrev_to_custom_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_pointwise_acc_montgomery_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_uniform_gamma1/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_uniform_gamma1_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_unpack_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyvecl_unpack_z/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyw1_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_pack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/polyz_unpack_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/power2round/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/prepare_domain_separation_prefix/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/reduce32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_eta_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform_c/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/rej_uniform_native/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sample_s1_s2/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sample_s1_s2_serial/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_release/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128x4_absorb_once/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake128x4_squeezeblocks/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_absorb/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_finalize/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_init/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_release/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256_squeeze/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256x4_absorb_once/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/shake256x4_squeezeblocks/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_keypair/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_keypair_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_open/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_pk_from_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_extmu/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_pre_hash_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_signature_pre_hash_shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_extmu/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_pre_hash_internal/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sign_verify_pre_hash_shake256/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/sys_check_capability/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_hints/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_pk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_sig/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/unpack_sk/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/use_hint/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_i64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_u32/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/cbmc/value_barrier_u8/Makefile, src/deps/src/mbedtls/tf-psa-crypto/drivers/pqcp/mldsa-native/proofs/hol_light/x86_64/Makefile, src/deps/src/mbedtls/tf-psa-crypto/framework/data_files/Makefile, src/deps/src/mbedtls/tf-psa-crypto/framework/psasim/Makefile, src/deps/src/nginx-1.28.0/misc/GNUmakefile, src/deps/src/nginx-1.28.0/src/event/quic/bpf/makefile, src/deps/src/nginx-1.30.3/misc/GNUmakefile, src/deps/src/nginx-1.30.3/src/event/quic/bpf/makefile, src/deps/src/nginx/misc/GNUmakefile, src/deps/src/nginx/src/event/quic/bpf/makefile, src/deps/src/zlib/Makefile, src/deps/src/zlib/contrib/blast/Makefile, src/deps/src/zlib/contrib/minizip/Makefile, src/deps/src/zlib/contrib/puff/Makefile |
| Automated tests | met | 22 / 22 | — |
| Lint / format config | met | 11 / 11 | .pylintrc |
| Static type checking | met | 11 / 11 | src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini |
| Reproducible environment | met | 10 / 10 | Dockerfile, Nix, lockfile |
| Demonstrated agent practice | excluded | 0 / 10 | no data |
| Automated maintenance | partial | 5 / 8 | dependency automation configured, none observed in the sampled commits |
| OpenSSF Scorecard: Pinned-Dependencies | partial | 9 / 10 | dependency not pinned by hash detected -- score normalized to 9 |

### Code legibility for models — 80/100 (Good)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| Type-checkable code | partial | 27 / 45 | Python with type-check config (src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini) |
| Manageable file sizes | partial | 53 / 55 | 161/4329 source files over 60KB |

### Machine-readable interfaces — 60/100 (Moderate)

| Criterion | Status | Points | Detail |
|---|---|---|---|
| API schema (OpenAPI/GraphQL/proto) | not met | 0 / 40 | — |
| MCP server | met | 20 / 20 | — |
| Runnable examples | met | 40 / 40 | demos, examples, samples |

## Collection warnings

- Could not fetch pypi package 'BunkerWeb' from its registry

## What this report is

inspect.software measures public repositories against a single published, versioned methodology and reports the result as a 1–100 health index. Findings are signals derived from what is visible in public repository data — they are not a security audit, a warranty, or an endorsement, and no result depends on payment.

- Methodology, formulas and weights: https://inspect.software/methodology.md
- What a result does and does not claim: https://inspect.software/wiki/signals-not-warranties.md
- Rating bands: https://inspect.software/wiki/scoring-bands.md
- Corrections: https://inspect.software/contact.md
- Index of all documents: https://inspect.software/llms.txt