Registro públicoExcepcional
Informe de salud del softwareesquema 0.34.0 · métricas 2.10.0 · 2026-08-28 00:02 UTC
bunkerity / bunkerweb
🛡️ Open-source and cloud-native Web Application Firewall (WAF)
bunkerity/bunkerweb tiene un índice de salud de 94 sobre 100, lo que lo sitúa en la banda Excepcional. Su puntuación más alta es Vitality (96/100) y la más baja, Sustainability & Governance (62/100). Se actualizó por última vez hoy. Una sola persona concentra la mayor parte del trabajo reciente.
94
global / 100Índice de salud del software
Las métricas se agrupan en categorías ponderadas sobre una escala estandarizada de 1 a 100. El resultado global parte de su media ponderada, calibrada contra la distribución del registro público para que las bandas tengan significado percentil; cuando la evidencia pública activa la Política de Jurisdicciones de Alto Riesgo, la calificación se ajusta y recibe un límite «En riesgo» de 34.
94
Excepcional93-100El nivel más alto del registro (≈ el 5% superior); cumple prácticamente todos los criterios evaluados
Excelente80-92Sólido en todos los frentes; carencias menores
Bueno65-79Saludable; carencias limitadas y manejables
Moderado50-64Aceptable con carencias notables; se recomienda revisión
Débil35-49Debilidades sustanciales en varias áreas
En riesgo20-34Debilidades significativas; su adopción exige cautela
Crítico1-19Problemas graves (proyecto abandonado, un solo mantenedor, sin higiene)
Perfil de puntuación
Cada eje es una categoría. La forma importa más que la media: un proyecto sano llena toda la figura, mientras que un perfil de picos y cráteres indica que la fortaleza en una dimensión enmascara el riesgo en otra.
El resultado global ponderado 81 se calibra a 94 en la escala publicada del índice (calibración del registro 2026-08-02).
Titularidad
BunkerityOrganización · dominio verificado
217 seguidores13 repositorios públicosdesde jun 2021
Este repositorio está respaldado por una organización: una custodia compartida y responsable que puede sobrevivir a cualquier mantenedor individual.
Métricas por categoría
Vitalidad
¿Está vivo el proyecto: se escribe código y se publican versiones?
96
Actividad de desarrollo
100Excepcional
Cómo se puntúa
| 36/36 | Recencia de push — último push hace 0 días |
| 36/36 | Cadencia de commits — 52/52 semanas con commits |
| 18/18 | Volumen de commits — 2119 commits en el último año |
| 10/10 | OpenSSF Scorecard: Maintained — 30 commit(s) and 28 issue activity found in the last 90 days -- score normalized to 10 |
Datos de entrada utilizados
| commits_last_year | 2119 |
| human_commit_share | 0,88 |
| days_since_last_push | 0 |
| active_weeks_last_year | 52 |
Disciplina de publicación
90Excelente
Cómo se puntúa
| 27/27 | Publica versiones — 90 versiones publicadas |
| 36/36 | Recencia de las versiones — última versión hace 6 días |
| 27/27 | Cadencia de publicación — una versión cada ~7,3 días |
| 0/10 | OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases. |
Datos de entrada utilizados
| releases_count | 90 |
| latest_release_tag | v1.6.14 |
| releases_from_tags | no |
| days_since_latest_release | 6 |
| mean_days_between_releases | 7,3 |
Comunidad y Adopción
¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?
90
Popularidad y adopción
94Excepcional
Cómo se puntúa
| 60/60 | Estrellas — 10.871 estrellas |
| 23.4/25 | Forks — 641 forks |
| 10.8/15 | Observadores — 90 observadores |
Datos de entrada utilizados
| forks | 641 |
| stars | 10.871 |
| watchers | 90 |
| growth_state | unverified |
| growth_factor_pct | 100 |
| growth_unverified_reason | no_history |
Salud de la comunidad
85Excelente
Cómo se puntúa
| 22.5/22.5 | README |
| 22.5/22.5 | Licencia — licencia reconocida (AGPL-3.0) |
| 18/18 | Guía CONTRIBUTING |
| 13.5/13.5 | Código de conducta |
| 0/7.2 | Plantilla de issues |
| 0/6.3 | Plantilla de PR |
Datos de entrada utilizados
| has_readme | sí |
| has_license | sí |
| readme_badges | 8 |
| has_contributing | sí |
| has_issue_template | no |
| has_code_of_conduct | sí |
| readme_badge_services | shields.io, www.bestpractices.dev |
| has_pull_request_template | no |
Sostenibilidad y Gobernanza
¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?
62
Cómo se puntúa
| 9/54 | Factor bus — la mitad de los commits recae en 1 contribuyente(s) |
| 7/22.5 | Distribución de commits — el principal contribuyente firma el 69% de los commits |
| 13.5/13.5 | Amplitud de contribuyentes — 50 contribuyentes |
| 10/10 | OpenSSF Scorecard: Contributors — project has 5 contributing companies or organizations |
Datos de entrada utilizados
| bus_factor | 1 |
| contributors_sampled | 50 |
| top_contributor_share | 0,691 |
Cómo se puntúa
| 37.3/42 | Resolución de issues — 89% de issues cerradas |
| 15.8/30 | Aceptación de PR — 1434/2723 PR decididos fusionados |
| 8.7/13 | Newcomer PR acceptance — 2/3 PR de contribuyentes primerizos fusionados en 30 d |
| 4.5/15 | OpenSSF Scorecard: Code-Review — Found 1/3 approved changesets -- score normalized to 3 |
Datos de entrada utilizados
| merged_prs | 1434 |
| open_issues | 112 |
| closed_issues | 899 |
| prs_merged_7d | 3 |
| prs_decided_7d | 4 |
| prs_merged_30d | 12 |
| prs_decided_30d | 13 |
| issue_closed_ratio | 0,889 |
| closed_unmerged_prs | 1289 |
| first_time_authors_30d | 3 |
| first_time_prs_merged_30d | 2 |
| first_time_prs_decided_30d | 3 |
Propiedad y custodia
86Excelente
Cómo se puntúa
| 30/30 | Respaldo de la propiedad — propiedad de una organización |
| 20/20 | Dominio verificado |
| 16.8/25 | Alcance del propietario — 217 seguidores de bunkerity |
| 18.7/25 | Trayectoria — 13 repos públicos, cuenta de ~5 años |
Datos de entrada utilizados
| followers | 217 |
| owner_type | Organization |
| is_verified | sí |
| owner_login | bunkerity |
| public_repos | 13 |
| account_age_days | 1890 |
Calidad de Ingeniería
¿Existen unas prácticas mínimas de ingeniería y documentación?
90
Prácticas de ingeniería
84Excelente
Cómo se puntúa
| 24/24 | Flujos de trabajo de CI — 26 flujo(s) de trabajo |
| 24/24 | Pruebas presentes |
| 16/16 | Configuración de linter — .pylintrc, pyproject.toml ([tool.black]) |
| 9.6/9.6 | Hooks de pre-commit |
| 6.4/6.4 | .editorconfig |
| 4/20 | OpenSSF Scorecard: CI-Tests — 2 out of 8 merged PRs checked by a CI test -- score normalized to 2 |
Datos de entrada utilizados
| has_ci | sí |
| has_tests | sí |
| has_editorconfig | sí |
| has_linter_config | sí |
| has_precommit_config | sí |
Documentación
100Excepcional
Cómo se puntúa
| 30/30 | README |
| 25/25 | Directorio de documentación |
| 15/15 | Sitio de documentación / página del proyecto — https://www.bunkerweb.io |
| 10/10 | Descripción del repositorio |
| 10/10 | Topics — 20 topics |
| 10/10 | Wiki |
Datos de entrada utilizados
| 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 |
| has_wiki | sí |
| homepage | https://www.bunkerweb.io |
| docs_site | https://www.bunkerweb.io |
| has_readme | sí |
| has_docs_dir | sí |
| has_description | sí |
Seguridad
¿Son sólidas las prácticas visibles de seguridad y de cadena de suministro, sin exposición jurisdiccional de alto riesgo sin resolver?
66
Postura de seguridad
57Moderado
Cómo se puntúa
| 6.8/7.5 | Binary-Artifacts — binaries present in source code |
| 4.5/7.5 | Branch-Protection — branch protection is not maximal on development and all release branches |
| 0.5/2.5 | CI-Tests — 2 out of 8 merged PRs checked by a CI test -- score normalized to 2 |
| 1.2/2.5 | CII-Best-Practices — badge detected: Passing |
| 2.2/7.5 | Code-Review — Found 1/3 approved changesets -- score normalized to 3 |
| 2.5/2.5 | Contributors — project has 5 contributing companies or organizations |
| 10/10 | Dangerous-Workflow — no dangerous workflow patterns detected |
| 7.5/7.5 | Dependency-Update-Tool — update tool detected |
| 0/5 | Fuzzing — project is not fuzzed |
| 2.5/2.5 | Licencia — license file detected |
| 7.5/7.5 | Maintained — 30 commit(s) and 28 issue activity found in the last 90 days -- score normalized to 10 |
| 5/5 | Packaging — packaging workflow detected |
| 4.5/5 | Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 9 |
| 3.5/5 | SAST — SAST tool detected but not run on all commits |
| 2/5 | Security-Policy — security policy file detected |
| 0/7.5 | Signed-Releases — Project has not signed or included provenance with any releases. |
| 0/7.5 | Token-Permissions — detected GitHub workflow tokens with excessive permissions |
| 0/7.5 | Vulnerabilities — 45 existing vulnerabilities detected |
Datos de entrada utilizados
| source | openssf_scorecard |
| checks_evaluated | 18 |
| scorecard_version | v5.5.0 |
| checks_inconclusive | 0 |
| scorecard_aggregate | 5,7 |
Avisos de dependencias
100Excepcional
Cómo se puntúa
| 35/35 | Dependencias directas libres de avisos conocidos — ninguna dependencia directa tiene un aviso conocido |
| 0/25 | Dependencias indirectas libres de avisos conocidos — el conjunto transitivo no es separable de las dependencias de desarrollo y prueba en este alcance |
| 0/40 | Sin avisos pendientes — ningún aviso tiene fecha de publicación |
Datos de entrada utilizados
| source | osv |
| advisories | 98 |
| affected_packages | 17 |
| assessed_packages | 441 |
| unassessed_packages | 18 |
| affected_by_severity | critical 2, high 10, moderate 5 |
| direct_affected_packages | 0 |
Excluidos de la puntuación (sin datos o no aplicable): Dependencias indirectas libres de avisos conocidos, Sin avisos pendientes. Los pesos restantes se han renormalizado. Se cotejaron 441 dependencias resueltas con OSV. 18 no pudieron evaluarse: sin versión resuelta, ecosistema no admitido o fuera de la lista de paquetes informada. Este repositorio no publica ningún paquete que el índice resuelva, por lo que se evaluó en su lugar el grafo de dependencias del repositorio. Ese grafo mezcla fijaciones de desarrollo y prueba con las dependencias distribuidas, de modo que solo se puntúan las dependencias declaradas en tiempo de ejecución; los hallazgos transitivos se informan como contexto y quedan excluidos de la puntuación. No se analiza la alcanzabilidad.
Preparación para IA
¿Hasta qué punto está el repositorio preparado para desarrollarse y mantenerse con agentes de codificación de IA? Tiene un peso deliberadamente pequeño (4%): las herramientas para agentes son una señal real de mantenimiento, pero un repositorio sin ninguna puede alcanzar igualmente 100/100.
87
Contexto y guía para agentes
100Excepcional
Cómo se puntúa
| 45/45 | Instrucciones para agentes — .github/copilot-instructions.md, AGENTS.md, CLAUDE.md, examples/mcp-stack/CLAUDE.md |
| 15/15 | Documentación legible por máquinas (llms.txt) — llms.txt servido por el sitio web del proyecto (https://docs.nginx.com/llms.txt) |
| 40/40 | Historial de commits legible — 77 de 88 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo) |
Datos de entrada utilizados
| has_llms_txt | sí |
| llms_txt_url | https://docs.nginx.com/llms.txt |
| legible_history_share | 0,875 |
| agent_instruction_files | .github/copilot-instructions.md, AGENTS.md, CLAUDE.md, examples/mcp-stack/CLAUDE.md |
| agent_instruction_max_bytes | 8834 |
Cómo se puntúa
| 18/18 | Arranque con un solo comando — 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/mbedtls/tf-psa-crypto/tests/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 |
| 22/22 | Pruebas automatizadas |
| 11/11 | Configuración de lint / formato — .pylintrc, pyproject.toml ([tool.black]) |
| 11/11 | Verificación estática de tipos — src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini |
| 10/10 | Entorno reproducible — Dockerfile, Nix, lockfile |
| 0/10 | Práctica demostrada con agentes — ningún commit con autoría de agente entre los últimos 100 |
| 8/8 | Mantenimiento automatizado — 12 de los últimos 100 commits son actualizaciones automáticas de dependencias |
| 9/10 | OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 9 |
Datos de entrada utilizados
| has_nix | sí |
| has_tests | sí |
| lockfiles | package-lock.json |
| has_dockerfile | sí |
| typed_language | no |
| bootstrap_files | 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/mbedtls/tf-psa-crypto/tests/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 |
| has_devcontainer | no |
| has_linter_config | sí |
| typecheck_configs | src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini |
| agent_commit_share | 0 |
| toolchain_manifests | src/deps/src/brotli/csharp/brotlidec.Tests.csproj, src/deps/src/brotli/csharp/brotlidec.csproj, src/deps/src/brotli/go/brotli/go.mod, src/deps/src/brotli/go/cbrotli/go.mod, src/deps/src/brotli/java/org/brotli/dec/pom.xml, src/deps/src/brotli/java/org/brotli/integration/pom.xml, src/deps/src/brotli/java/org/brotli/pom.xml, src/deps/src/zlib/contrib/dotzlib/DotZLib/DotZLib.csproj, src/deps/src/zlib/contrib/nuget/nuget.csproj |
| dependency_bot_commit_share | 0,12 |
Legibilidad del código para modelos
80Excelente
Cómo se puntúa
| 27/45 | Código verificable por tipos — Python con configuración de verificación de tipos (src/deps/src/mbedtls/.mypy.ini, src/deps/src/mbedtls/tf-psa-crypto/.mypy.ini) |
| 53.2/55 | Tamaños de archivo manejables — 117/3544 archivos fuente de más de 60 KB |
Datos de entrada utilizados
| primary_language | Python |
| largest_source_bytes | 13.049.704 |
| source_files_sampled | 3544 |
| oversized_source_files | 117 |
Interfaces legibles por máquina
60Moderado
Cómo se puntúa
| 0/40 | Esquema de API (OpenAPI/GraphQL/proto) |
| 20/20 | Servidor MCP |
| 40/40 | Ejemplos ejecutables — demos, examples, samples |
Datos de entrada utilizados
| example_dirs | demos, examples, samples |
| has_mcp_signal | sí |
| api_schema_files | — |
| interfaces_expected_of | network-service |
Datos clave
10.871estrellas de GitHub
50contribuidores
2119commits en los últimos 12 meses
0días desde el último push
90versiones publicadas
1factor bus
112issues abiertas
npm, PyPIecosistemas de paquetes
Advertencias de recopilación de datos
- Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
- Could not fetch pypi package 'BunkerWeb' from its registry
Más detalle
Historial de estrellas y forks 0 ★ / 641 ⇿
0Estrellas
641Forks
90Versiones
Cuándo se añadió cada estrella y fork, recopilado de GitHub y agrupado por día. El crecimiento acumulado se sitúa justo encima de las adiciones diarias que lo componen, de modo que ambos se leen en conjunto: la acumulación orgánica sostenida no se parece en nada a un pico abrupto y efímero. Cuando esa diferencia es medible, se informa como autenticidad del crecimiento.
Mayor 0Menor 4Parche 36
Cada punto abarca 6 días.
OpenSSF Scorecard 5.7 / 10
5.7agregado
Evaluación de seguridad independiente y agnóstica en cuanto a herramientas, procedente del proyecto de código abierto OpenSSF Scorecard. Cada comprobación premia una práctica de seguridad, no la herramienta de un proveedor concreto. Las comprobaciones que Scorecard no pudo determinar se marcan como n/d y se excluyen de la puntuación de seguridad (nunca se cuentan como cero).
| 9 | Binary-Artifacts | binaries present in source code |
| 6 | Branch-Protection | branch protection is not maximal on development and all release branches |
| 2 | CI-Tests | 2 out of 8 merged PRs checked by a CI test -- score normalized to 2 |
| 5 | CII-Best-Practices | badge detected: Passing |
| 3 | Code-Review | Found 1/3 approved changesets -- score normalized to 3 |
| 10 | Contributors | project has 5 contributing companies or organizations |
| 10 | Dangerous-Workflow | no dangerous workflow patterns detected |
| 10 | Dependency-Update-Tool | update tool detected |
| 0 | Fuzzing | project is not fuzzed |
| 10 | License | license file detected |
| 10 | Maintained | 30 commit(s) and 28 issue activity found in the last 90 days -- score normalized to 10 |
| 10 | Packaging | packaging workflow detected |
| 9 | Pinned-Dependencies | dependency not pinned by hash detected -- score normalized to 9 |
| 7 | SAST | SAST tool detected but not run on all commits |
| 4 | Security-Policy | security policy file detected |
| 0 | Signed-Releases | Project has not signed or included provenance with any releases. |
| 0 | Token-Permissions | detected GitHub workflow tokens with excessive permissions |
| 0 | Vulnerabilities | 45 existing vulnerabilities detected |
Dependencias directas 5
| Registro | Paquete | Restricción de versión | Manifiesto |
|---|---|---|---|
| npm | cssnano | 8.0.2 | src/deps/package.json |
| npm | html-minifier-terser | 7.2.0 | src/deps/package.json |
| npm | postcss | 8.5.24 | src/deps/package.json |
| npm | postcss-cli | 11.0.1 | src/deps/package.json |
| npm | uglify-js | 3.19.3 | src/deps/package.json |
Todas las dependencias 459
Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 5 paquetes directos y 454 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.
| Registro | Paquete | Versión | Relación |
|---|---|---|---|
| npm | cssnano | 8.0.2 | directa |
| npm | html-minifier-terser | 7.2.0 | directa |
| npm | postcss | 8.5.24 | directa |
| npm | postcss-cli | 11.0.1 | directa |
| npm | uglify-js | 3.19.3 | directa |
| Maven | junit:junit | 4.13.2 | indirecta |
| Maven | org.apache.felix:maven-bundle-plugin | 6.0.0 | indirecta |
| Maven | org.apache.maven.plugins:maven-compiler-plugin | — | indirecta |
| Maven | org.apache.maven.plugins:maven-compiler-plugin | 3.14.0 | indirecta |
| Maven | org.apache.maven.plugins:maven-gpg-plugin | 3.2.8 | indirecta |
| Maven | org.apache.maven.plugins:maven-jar-plugin | 3.4.2 | indirecta |
| Maven | org.apache.maven.plugins:maven-javadoc-plugin | 3.12.0 | indirecta |
| Maven | org.apache.maven.plugins:maven-source-plugin | 3.3.1 | indirecta |
| Maven | org.apache.maven.plugins:maven-surefire-plugin | 3.5.4 | indirecta |
| Maven | org.brotli:dec | 1.2.0-SNAPSHOT | indirecta |
| Maven | org.codehaus.mojo:exec-maven-plugin | 3.5.1 | indirecta |
| Maven | org.sonatype.plugins:nexus-staging-maven-plugin | 1.7.0 | indirecta |
| npm | @colordx/core | 5.4.3 | indirecta |
| npm | @jridgewell/gen-mapping | 0.3.13 | indirecta |
| npm | @jridgewell/resolve-uri | 3.1.2 | indirecta |
| npm | @jridgewell/source-map | 0.3.11 | indirecta |
| npm | @jridgewell/sourcemap-codec | 1.5.5 | indirecta |
| npm | @jridgewell/trace-mapping | 0.3.31 | indirecta |
| npm | acorn | 8.17.0 | indirecta |
| npm | ansi-regex | 5.0.1 | indirecta |
| npm | ansi-styles | 4.3.0 | indirecta |
| npm | anymatch | 3.1.3 | indirecta |
| npm | baseline-browser-mapping | 2.10.38 | indirecta |
| npm | binary-extensions | 2.3.0 | indirecta |
| npm | boolbase | 1.0.0 | indirecta |
| npm | braces | 3.0.3 | indirecta |
| npm | browserslist | 4.28.2 | indirecta |
| npm | buffer-from | 1.1.2 | indirecta |
| npm | camel-case | 4.1.2 | indirecta |
| npm | caniuse-api | 4.0.0 | indirecta |
| npm | caniuse-lite | 1.0.30001799 | indirecta |
| npm | chokidar | 3.6.0 | indirecta |
| npm | clean-css | 5.3.3 | indirecta |
| npm | cliui | 8.0.1 | indirecta |
| npm | color-convert | 2.0.1 | indirecta |
| npm | color-name | 1.1.4 | indirecta |
| npm | commander | 10.0.1 | indirecta |
| npm | commander | 11.1.0 | indirecta |
| npm | commander | 2.20.3 | indirecta |
| npm | css-select | 5.2.2 | indirecta |
| npm | css-tree | 2.2.1 | indirecta |
| npm | css-tree | 3.2.1 | indirecta |
| npm | css-what | 6.2.2 | indirecta |
| npm | cssesc | 3.0.0 | indirecta |
| npm | cssnano-preset-default | 8.0.2 | indirecta |
| npm | cssnano-utils | 6.0.1 | indirecta |
| npm | csso | 5.0.5 | indirecta |
| npm | dependency-graph | 1.0.0 | indirecta |
| npm | dom-serializer | 2.0.0 | indirecta |
| npm | domelementtype | 2.3.0 | indirecta |
| npm | domhandler | 5.0.3 | indirecta |
| npm | domutils | 3.2.2 | indirecta |
| npm | dot-case | 3.0.4 | indirecta |
| npm | electron-to-chromium | 1.5.375 | indirecta |
| npm | emoji-regex | 8.0.0 | indirecta |
| npm | entities | 4.5.0 | indirecta |
| npm | escalade | 3.2.0 | indirecta |
| npm | fdir | 6.5.0 | indirecta |
| npm | fill-range | 7.1.1 | indirecta |
| npm | fs-extra | 11.3.5 | indirecta |
| npm | fsevents | 2.3.3 | indirecta |
| npm | get-caller-file | 2.0.5 | indirecta |
| npm | glob-parent | 5.1.2 | indirecta |
| npm | graceful-fs | 4.2.11 | indirecta |
| npm | is-binary-path | 2.1.0 | indirecta |
| npm | is-extglob | 2.1.1 | indirecta |
| npm | is-fullwidth-code-point | 3.0.0 | indirecta |
| npm | is-glob | 4.0.3 | indirecta |
| npm | is-number | 7.0.0 | indirecta |
| npm | jsonfile | 6.2.1 | indirecta |
| npm | lilconfig | 3.1.3 | indirecta |
| npm | lower-case | 2.0.2 | indirecta |
| npm | mdn-data | 2.0.28 | indirecta |
| npm | mdn-data | 2.27.1 | indirecta |
| npm | nanoid | 3.3.16 | indirecta |
| npm | no-case | 3.0.4 | indirecta |
| npm | node-releases | 2.0.48 | indirecta |
| npm | normalize-path | 3.0.0 | indirecta |
| npm | nth-check | 2.1.1 | indirecta |
| npm | param-case | 3.0.4 | indirecta |
| npm | pascal-case | 3.1.2 | indirecta |
| npm | picocolors | 1.1.1 | indirecta |
| npm | picomatch | 2.3.2 | indirecta |
| npm | picomatch | 4.0.4 | indirecta |
| npm | pify | 2.3.0 | indirecta |
| npm | postcss-calc | 10.1.1 | indirecta |
| npm | postcss-colormin | 8.0.1 | indirecta |
| npm | postcss-convert-values | 8.0.1 | indirecta |
| npm | postcss-discard-comments | 8.0.1 | indirecta |
| npm | postcss-discard-duplicates | 8.0.1 | indirecta |
| npm | postcss-discard-empty | 8.0.1 | indirecta |
| npm | postcss-discard-overridden | 8.0.1 | indirecta |
| npm | postcss-load-config | 5.1.0 | indirecta |
| npm | postcss-merge-longhand | 8.0.1 | indirecta |
| npm | postcss-merge-rules | 8.0.1 | indirecta |
| npm | postcss-minify-font-values | 8.0.1 | indirecta |
| npm | postcss-minify-gradients | 8.0.1 | indirecta |
| npm | postcss-minify-params | 8.0.1 | indirecta |
| npm | postcss-minify-selectors | 8.0.2 | indirecta |
| npm | postcss-normalize-charset | 8.0.1 | indirecta |
| npm | postcss-normalize-display-values | 8.0.1 | indirecta |
| npm | postcss-normalize-positions | 8.0.1 | indirecta |
| npm | postcss-normalize-repeat-style | 8.0.1 | indirecta |
| npm | postcss-normalize-string | 8.0.1 | indirecta |
| npm | postcss-normalize-timing-functions | 8.0.1 | indirecta |
| npm | postcss-normalize-unicode | 8.0.1 | indirecta |
| npm | postcss-normalize-url | 8.0.1 | indirecta |
| npm | postcss-normalize-whitespace | 8.0.1 | indirecta |
| npm | postcss-ordered-values | 8.0.1 | indirecta |
| npm | postcss-reduce-initial | 8.0.1 | indirecta |
| npm | postcss-reduce-transforms | 8.0.1 | indirecta |
| npm | postcss-reporter | 7.1.0 | indirecta |
| npm | postcss-selector-parser | 7.1.4 | indirecta |
| npm | postcss-svgo | 8.0.1 | indirecta |
| npm | postcss-unique-selectors | 8.0.1 | indirecta |
| npm | postcss-value-parser | 4.2.0 | indirecta |
| npm | pretty-hrtime | 1.0.3 | indirecta |
| npm | puppeteer | ^24.8.2 | indirecta |
| npm | read-cache | 1.0.0 | indirecta |
| npm | readdirp | 3.6.0 | indirecta |
| npm | relateurl | 0.2.7 | indirecta |
| npm | require-directory | 2.1.1 | indirecta |
| npm | sax | 1.6.0 | indirecta |
| npm | slash | 5.1.0 | indirecta |
| npm | source-map | 0.6.1 | indirecta |
| npm | source-map-js | 1.2.1 | indirecta |
| npm | source-map-support | 0.5.21 | indirecta |
| npm | string-width | 4.2.3 | indirecta |
| npm | strip-ansi | 6.0.1 | indirecta |
| npm | stylehacks | 8.0.1 | indirecta |
| npm | svgo | 4.0.1 | indirecta |
| npm | terser | 5.48.0 | indirecta |
| npm | thenby | 1.4.1 | indirecta |
| npm | tinyglobby | 0.2.17 | indirecta |
| npm | to-regex-range | 5.0.1 | indirecta |
| npm | tslib | 2.8.1 | indirecta |
| npm | universalify | 2.0.1 | indirecta |
| npm | update-browserslist-db | 1.2.3 | indirecta |
| npm | util-deprecate | 1.0.2 | indirecta |
| npm | wrap-ansi | 7.0.0 | indirecta |
| npm | y18n | 5.0.8 | indirecta |
| npm | yaml | 2.9.0 | indirecta |
| npm | yargs | 17.7.2 | indirecta |
| npm | yargs | ~8.0.2 | indirecta |
| npm | yargs-parser | 21.1.1 | indirecta |
| NuGet | Microsoft.NET.Test.Sdk | 18.0.0 | indirecta |
| NuGet | NUnit | 3.14.0 | indirecta |
| NuGet | NUnit3TestAdapter | 5.2.0 | indirecta |
| PyPI | acme | 5.7.0 | indirecta |
| PyPI | aiohappyeyeballs | 2.7.1 | indirecta |
| PyPI | aiohttp | 3.14.3 | indirecta |
| PyPI | aiosignal | 1.4.0 | indirecta |
| PyPI | alembic | 1.19.1 | indirecta |
| PyPI | annotated-doc | 0.0.5 | indirecta |
| PyPI | annotated-types | 0.7.0 | indirecta |
| PyPI | annotated-types | 0.8.0 | indirecta |
| PyPI | ansible | 9.5.1 | indirecta |
| PyPI | ansible-core | 2.16.8 | indirecta |
| PyPI | anyio | 4.14.2 | indirecta |
| PyPI | anyio | 4.6.0 | indirecta |
| PyPI | anyio | 4.6.2.post1 | indirecta |
| PyPI | asn1crypto | — | indirecta |
| PyPI | async-timeout | 4.0.3 | indirecta |
| PyPI | async-timeout | 5.0.1 | indirecta |
| PyPI | attrs | 24.2.0 | indirecta |
| PyPI | attrs | 26.1.0 | indirecta |
| PyPI | babel | 2.18.0 | indirecta |
| PyPI | backrefs | 8.0 | indirecta |
| PyPI | bcrypt | 5.0.0 | indirecta |
| PyPI | beautifulsoup4 | 4.15.0 | indirecta |
| PyPI | biscuit-python | — | indirecta |
| PyPI | blinker | 1.9.0 | indirecta |
| PyPI | boto3 | 1.43.75 | indirecta |
| PyPI | botocore | 1.43.75 | indirecta |
| PyPI | build | 1.5.0 | indirecta |
| PyPI | cachelib | 0.15.4 | indirecta |
| PyPI | cairocffi | 1.7.1 | indirecta |
| PyPI | cairosvg | 2.9.0 | indirecta |
| PyPI | certbot | 5.7.0 | indirecta |
| PyPI | certbot-dns-bunny | 3.0.0 | indirecta |
| PyPI | certbot-dns-cloudflare | 5.7.0 | indirecta |
| PyPI | certbot-dns-cloudns | 0.7.0 | indirecta |
| PyPI | certbot-dns-desec | 1.3.2 | indirecta |
| PyPI | certbot-dns-digitalocean | 5.7.0 | indirecta |
| PyPI | certbot-dns-dnsimple | 5.7.0 | indirecta |
| PyPI | certbot-dns-dnsmadeeasy | 5.7.0 | indirecta |
| PyPI | certbot-dns-domainoffensive | 2.0.0 | indirecta |
| PyPI | certbot-dns-domeneshop | 0.2.9 | indirecta |
| PyPI | certbot-dns-duckdns | 1.9.0 | indirecta |
| PyPI | certbot-dns-dynu | 0.0.6.post2502111739272536 | indirecta |
| PyPI | certbot-dns-gandi | 1.6.2 | indirecta |
| PyPI | certbot-dns-gehirn | 5.7.0 | indirecta |
| PyPI | certbot-dns-godaddy | 2.8.0 | indirecta |
| PyPI | certbot-dns-google | 5.7.0 | indirecta |
| PyPI | certbot-dns-hetzner | 4.0.0 | indirecta |
| PyPI | certbot-dns-infomaniak | 0.3.2 | indirecta |
| PyPI | certbot-dns-ionos | 2024.11.9 | indirecta |
| PyPI | certbot-dns-linode | 5.7.0 | indirecta |
| PyPI | certbot-dns-luadns | 5.7.0 | indirecta |
| PyPI | certbot-dns-njalla | 2.0.2 | indirecta |
| PyPI | certbot-dns-nsone | 5.7.0 | indirecta |
| PyPI | certbot-dns-ovh | 5.7.0 | indirecta |
| PyPI | certbot-dns-pdns | 0.1.1 | indirecta |
| PyPI | certbot-dns-porkbun | 0.11.0 | indirecta |
| PyPI | certbot-dns-rfc2136 | 5.7.0 | indirecta |
| PyPI | certbot-dns-route53 | 5.7.0 | indirecta |
| PyPI | certbot-dns-sakuracloud | 5.7.0 | indirecta |
| PyPI | certbot-dns-scaleway | 0.0.7 | indirecta |
| PyPI | certbot-dns-transip | — | indirecta |
| PyPI | certifi | 2024.8.30 | indirecta |
| PyPI | certifi | 2026.7.22 | indirecta |
| PyPI | cffi | 1.16.0 | indirecta |
| PyPI | cffi | 1.17.1 | indirecta |
| PyPI | cffi | 2.1.1 | indirecta |
| PyPI | chardet | 6.0.0.post1 | indirecta |
| PyPI | charset-normalizer | 3.3.2 | indirecta |
| PyPI | charset-normalizer | 3.4.0 | indirecta |
| PyPI | charset-normalizer | 3.5.1 | indirecta |
| PyPI | clang | — | indirecta |
| PyPI | click | 8.1.7 | indirecta |
| PyPI | click | 8.4.2 | indirecta |
| PyPI | cloudflare | 5.6.0 | indirecta |
| PyPI | cloudns-api | 0.9.3 | indirecta |
| PyPI | colorama | 0.4.6 | indirecta |
| PyPI | configargparse | 1.7.5 | indirecta |
| PyPI | configobj | 5.0.9 | indirecta |
| PyPI | cryptography | — | indirecta |
| PyPI | cryptography | 42.0.8 | indirecta |
| PyPI | cryptography | 43.0.3 | indirecta |
| PyPI | cryptography | 50.0.0 | indirecta |
| PyPI | cssselect2 | 0.9.0 | indirecta |
| PyPI | dataproperty | 1.1.1 | indirecta |
| PyPI | defusedcsv | 3.0.0 | indirecta |
| PyPI | defusedxml | 0.7.1 | indirecta |
| PyPI | deprecated | 1.3.1 | indirecta |
| PyPI | dilithium-py | — | indirecta |
| PyPI | distro | 1.9.0 | indirecta |
| PyPI | dns-lexicon | 3.25.2 | indirecta |
| PyPI | dnspython | 2.8.0 | indirecta |
| PyPI | docker | 7.1.0 | indirecta |
| PyPI | docker | 7.2.0 | indirecta |
| PyPI | docopt-ng | 0.9.0 | indirecta |
| PyPI | domeneshop | 0.4.4 | indirecta |
| PyPI | durationpy | 0.10 | indirecta |
| PyPI | email-validator | 2.3.0 | indirecta |
| PyPI | et-xmlfile | 2.0.0 | indirecta |
| PyPI | exceptiongroup | 1.2.2 | indirecta |
| PyPI | fastapi | 0.115.0 | indirecta |
| PyPI | fastapi | 0.115.3 | indirecta |
| PyPI | fastapi | 0.141.1 | indirecta |
| PyPI | filelock | 3.32.3 | indirecta |
| PyPI | flask | 3.1.3 | indirecta |
| PyPI | flask-login | 0.6.3 | indirecta |
| PyPI | flask-session | 0.8.0 | indirecta |
| PyPI | flask-wtf | 1.3.0 | indirecta |
| PyPI | frozenlist | 1.8.0 | indirecta |
| PyPI | ghp-import | 2.1.0 | indirecta |
| PyPI | google-api-core | 2.34.0 | indirecta |
| PyPI | google-api-python-client | 2.198.0 | indirecta |
| PyPI | google-auth | 2.56.3 | indirecta |
| PyPI | google-auth-httplib2 | 0.4.1 | indirecta |
| PyPI | googleapis-common-protos | 1.75.1 | indirecta |
| PyPI | greenlet | 3.1.1 | indirecta |
| PyPI | greenlet | 3.5.5 | indirecta |
| PyPI | gunicorn | 26.0.0 | indirecta |
| PyPI | h11 | 0.14.0 | indirecta |
| PyPI | h11 | 0.16.0 | indirecta |
| PyPI | h2 | 4.4.1 | indirecta |
| PyPI | hcloud | 2.23.0 | indirecta |
| PyPI | hiredis | 3.4.1 | indirecta |
| PyPI | hpack | 4.2.0 | indirecta |
| PyPI | httpcore | 1.0.6 | indirecta |
| PyPI | httpcore | 1.0.9 | indirecta |
| PyPI | httplib2 | 0.32.0 | indirecta |
| PyPI | httptools | 0.6.1 | indirecta |
| PyPI | httptools | 0.6.4 | indirecta |
| PyPI | httptools | 0.8.0 | indirecta |
| PyPI | httpx | 0.27.2 | indirecta |
| PyPI | httpx | 0.28.1 | indirecta |
| PyPI | hyperframe | 6.1.0 | indirecta |
| PyPI | idna | 3.10 | indirecta |
| PyPI | idna | 3.19 | indirecta |
| PyPI | importlib-metadata | 9.0.0 | indirecta |
| PyPI | itsdangerous | 2.2.0 | indirecta |
| PyPI | jinja2 | — | indirecta |
| PyPI | jinja2 | 3.1.4 | indirecta |
| PyPI | jinja2 | 3.1.6 | indirecta |
| PyPI | jmespath | 1.1.0 | indirecta |
| PyPI | josepy | 2.2.0 | indirecta |
| PyPI | jsonpickle | 4.1.2 | indirecta |
| PyPI | jsonschema | — | indirecta |
| PyPI | kubernetes | 36.0.3 | indirecta |
| PyPI | libpass | 1.9.3 | indirecta |
| PyPI | limits | 5.8.0 | indirecta |
| PyPI | mako | 1.4.1 | indirecta |
| PyPI | markdown | 3.10.3 | indirecta |
| PyPI | markupsafe | — | indirecta |
| PyPI | markupsafe | 2.1.5 | indirecta |
| PyPI | markupsafe | 3.0.3 | indirecta |
| PyPI | maxminddb | 2.6.2 | indirecta |
| PyPI | maxminddb | 3.1.1 | indirecta |
| PyPI | mbstrdecoder | 1.1.5 | indirecta |
| PyPI | mergedeep | 1.3.4 | indirecta |
| PyPI | mike | 2.2.0 | indirecta |
| PyPI | mkdocs | 1.6.1 | indirecta |
| PyPI | mkdocs-get-deps | 0.2.2 | indirecta |
| PyPI | mkdocs-material | 9.7.7 | indirecta |
| PyPI | mkdocs-material-extensions | 1.3.1 | indirecta |
| PyPI | mkdocs-print-site-plugin | 2.8 | indirecta |
| PyPI | mkdocs-static-i18n | 1.3.1 | indirecta |
| PyPI | mock | 5.2.0 | indirecta |
| PyPI | msc-pyparser | — | indirecta |
| PyPI | msgspec | 0.21.1 | indirecta |
| PyPI | multidict | 6.7.1 | indirecta |
| PyPI | mypy | 0.942 | indirecta |
| PyPI | oauthlib | 3.3.1 | indirecta |
| PyPI | openpyxl | 3.1.5 | indirecta |
| PyPI | outcome | 1.3.0.post0 | indirecta |
| PyPI | packaging | 24.1 | indirecta |
| PyPI | packaging | 26.3 | indirecta |
| PyPI | paginate | 0.5.7 | indirecta |
| PyPI | parsedatetime | 2.6 | indirecta |
| PyPI | pathspec | 1.1.1 | indirecta |
| PyPI | pathvalidate | 3.3.1 | indirecta |
| PyPI | pillow | 12.3.0 | indirecta |
| PyPI | pip | 26.2.1 | indirecta |
| PyPI | pip-compile-multi | 3.3.1 | indirecta |
| PyPI | pip-tools | 7.6.1 | indirecta |
| PyPI | pip-upgrader | 2.4.13 | indirecta |
| PyPI | pkb-client | 2.3.1 | indirecta |
| PyPI | platformdirs | 4.11.3 | indirecta |
| PyPI | prompt-toolkit | 3.0.53 | indirecta |
| PyPI | propcache | 0.5.2 | indirecta |
| PyPI | proto-plus | 1.28.3 | indirecta |
| PyPI | protobuf | 7.35.1 | indirecta |
| PyPI | psutil | 7.2.2 | indirecta |
| PyPI | psycopg | 3.2.3 | indirecta |
| PyPI | psycopg | 3.3.4 | indirecta |
| PyPI | psycopg-binary | 3.2.3 | indirecta |
| PyPI | psycopg-binary | 3.3.4 | indirecta |
| PyPI | psycopg-c | 3.3.4 | indirecta |
| PyPI | psycopg-pool | 3.2.3 | indirecta |
| PyPI | psycopg-pool | 3.3.1 | indirecta |
| PyPI | pyasn1 | 0.6.4 | indirecta |
| PyPI | pyasn1-modules | 0.4.2 | indirecta |
| PyPI | pycparser | 2.22 | indirecta |
| PyPI | pycparser | 3.0 | indirecta |
| PyPI | pycryptodome | — | indirecta |
| PyPI | pycryptodome-test-vectors | — | indirecta |
| PyPI | pycryptodomex | — | indirecta |
| PyPI | pydantic | 2.13.4 | indirecta |
| PyPI | pydantic | 2.9.2 | indirecta |
| PyPI | pydantic-core | 2.23.4 | indirecta |
| PyPI | pydantic-core | 2.46.4 | indirecta |
| PyPI | pydantic-settings | 2.15.0 | indirecta |
| PyPI | pygments | 2.21.0 | indirecta |
| PyPI | pylint | 2.4.4 | indirecta |
| PyPI | pymdown-extensions | 11.0.1 | indirecta |
| PyPI | pymysql | 1.1.1 | indirecta |
| PyPI | pymysql | 1.2.0 | indirecta |
| PyPI | pyopenssl | 24.2.1 | indirecta |
| PyPI | pyopenssl | 26.4.0 | indirecta |
| PyPI | pyotp | 2.10.0 | indirecta |
| PyPI | pyotp | 2.9.0 | indirecta |
| PyPI | pyparsing | 3.3.2 | indirecta |
| PyPI | pyproject-hooks | 1.2.0 | indirecta |
| PyPI | pyrfc3339 | 2.1.0 | indirecta |
| PyPI | pysocks | 1.7.1 | indirecta |
| PyPI | pytablewriter | 1.2.1 | indirecta |
| PyPI | python-dateutil | 2.9.0.post0 | indirecta |
| PyPI | python-digitalocean | 1.17.0 | indirecta |
| PyPI | python-dotenv | 1.0.1 | indirecta |
| PyPI | python-dotenv | 1.2.3 | indirecta |
| PyPI | python-magic | 0.4.27 | indirecta |
| PyPI | python-multipart | 0.0.32 | indirecta |
| PyPI | python-transip | 0.6.0 | indirecta |
| PyPI | pytz | 2026.3 | indirecta |
| PyPI | pytz | 2026.3.post1 | indirecta |
| PyPI | pyyaml | 6.0.1 | indirecta |
| PyPI | pyyaml | 6.0.2 | indirecta |
| PyPI | pyyaml | 6.0.3 | indirecta |
| PyPI | pyyaml-env-tag | 1.1 | indirecta |
| PyPI | qrcode | 8.2 | indirecta |
| PyPI | questionary | 2.1.1 | indirecta |
| PyPI | redis | 5.1.0 | indirecta |
| PyPI | redis | 8.1.0 | indirecta |
| PyPI | regex | 2026.7.19 | indirecta |
| PyPI | requests | 2.32.3 | indirecta |
| PyPI | requests | 2.34.2 | indirecta |
| PyPI | requests-file | 3.0.1 | indirecta |
| PyPI | requests-mock | 1.12.1 | indirecta |
| PyPI | requests-oauthlib | 2.0.0 | indirecta |
| PyPI | requests-unixsocket | 0.4.1 | indirecta |
| PyPI | resolvelib | 1.0.1 | indirecta |
| PyPI | s3transfer | 0.19.2 | indirecta |
| PyPI | schedule | 1.2.2 | indirecta |
| PyPI | selenium | 4.25.0 | indirecta |
| PyPI | setuptools | 80.10.2 | indirecta |
| PyPI | setuptools | 84.0.0 | indirecta |
| PyPI | six | 1.17.0 | indirecta |
| PyPI | slowapi | 0.1.10 | indirecta |
| PyPI | sniffio | 1.3.1 | indirecta |
| PyPI | sortedcontainers | 2.4.0 | indirecta |
| PyPI | soupsieve | 2.9.2 | indirecta |
| PyPI | sqlalchemy | 2.0.36 | indirecta |
| PyPI | sqlalchemy | 2.0.52 | indirecta |
| PyPI | starlette | 0.38.6 | indirecta |
| PyPI | starlette | 0.41.0 | indirecta |
| PyPI | starlette | 1.6.0 | indirecta |
| PyPI | tabledata | 1.3.5 | indirecta |
| PyPI | tcolorpy | 0.1.7 | indirecta |
| PyPI | tinycss2 | 1.5.1 | indirecta |
| PyPI | tldextract | 5.3.2 | indirecta |
| PyPI | tomli | 2.4.1 | indirecta |
| PyPI | toposort | 1.10 | indirecta |
| PyPI | trio | 0.26.2 | indirecta |
| PyPI | trio | 0.27.0 | indirecta |
| PyPI | trio-websocket | 0.11.1 | indirecta |
| PyPI | typepy | 1.3.5 | indirecta |
| PyPI | types-jinja2 | — | indirecta |
| PyPI | types-jsonschema | — | indirecta |
| PyPI | typing-extensions | 4.12.2 | indirecta |
| PyPI | typing-extensions | 4.16.0 | indirecta |
| PyPI | typing-inspection | 0.4.4 | indirecta |
| PyPI | ua-parser | 1.0.2 | indirecta |
| PyPI | ua-parser-builtins | 202606 | indirecta |
| PyPI | uritemplate | 4.2.0 | indirecta |
| PyPI | urllib3 | 2.2.3 | indirecta |
| PyPI | urllib3 | 2.7.0 | indirecta |
| PyPI | user-agents | 2.2.0 | indirecta |
| PyPI | uvicorn | 0.31.0 | indirecta |
| PyPI | uvicorn | 0.32.0 | indirecta |
| PyPI | uvicorn | 0.52.4 | indirecta |
| PyPI | uvloop | 0.20.0 | indirecta |
| PyPI | uvloop | 0.21.0 | indirecta |
| PyPI | uvloop | 0.22.1 | indirecta |
| PyPI | verspec | 0.1.0 | indirecta |
| PyPI | watchdog | 6.0.0 | indirecta |
| PyPI | watchfiles | 0.24.0 | indirecta |
| PyPI | watchfiles | 1.2.0 | indirecta |
| PyPI | wcwidth | 0.8.2 | indirecta |
| PyPI | webencodings | 0.6.1 | indirecta |
| PyPI | websocket-client | 1.8.0 | indirecta |
| PyPI | websocket-client | 1.9.0 | indirecta |
| PyPI | websockets | 13.1 | indirecta |
| PyPI | websockets | 17.0.1 | indirecta |
| PyPI | werkzeug | 3.1.8 | indirecta |
| PyPI | wheel | 0.48.0 | indirecta |
| PyPI | wrapt | 2.3.0 | indirecta |
| PyPI | wsproto | 1.2.0 | indirecta |
| PyPI | wtforms | 3.2.2 | indirecta |
| PyPI | yarl | 1.24.5 | indirecta |
| PyPI | zipp | 4.1.0 | indirecta |
| PyPI | zope-interface | 8.5 | indirecta |
Avisos de dependencias 17
Este repositorio no publica ningún paquete que el índice resuelva, así que se evaluó su propio grafo de dependencias — 441 paquetes, que incluyen también fijaciones de desarrollo y prueba que nunca se distribuyen: 17 tienen avisos conocidos, de los cuales 0 son directas. 18 no pudieron evaluarse: sin versión resuelta, ecosistema no admitido, o fuera de la lista de paquetes informada.
| Paquete | Versión | Relación | Gravedad | Avisos | Corregido en |
|---|---|---|---|---|---|
| h11 | 0.14.0 | indirecta | crítica | 2 | 0.16.0 |
| pyopenssl | 24.2.1 | indirecta | crítica | 4 | 26.0.0 |
| ansible-core | 2.16.8 | indirecta | alta | 8 | 2.21.1rc1 |
| click | 8.1.7 | indirecta | alta | 1 | 8.3.3 |
| cryptography | 42.0.8 | indirecta | alta | 12 | 49.0.0 |
| cryptography | 43.0.3 | indirecta | alta | 11 | 49.0.0 |
| jinja2 | 3.1.4 | indirecta | alta | 6 | 3.1.6 |
| nanoid | 3.3.16 | indirecta | alta | 1 | 5.1.6 |
| starlette | 0.38.6 | indirecta | alta | 14 | 1.3.1 |
| starlette | 0.41.0 | indirecta | alta | 14 | 1.3.1 |
| svgo | 4.0.1 | indirecta | alta | 1 | 4.0.2 |
| urllib3 | 2.2.3 | indirecta | alta | 12 | 2.7.0 |
| ansible | 9.5.1 | indirecta | moderada | 2 | 12.2.0 |
| idna | 3.10 | indirecta | moderada | 2 | 3.15 |
| python-dotenv | 1.0.1 | indirecta | moderada | 2 | 1.2.2 |
| requests | 2.32.3 | indirecta | moderada | 4 | 2.33.0 |
| setuptools | 80.10.2 | indirecta | moderada | 2 | 83.0.0 |
Un aviso significa que la versión registrada en el grafo de dependencias cae dentro del rango afectado de un aviso. No se analiza la alcanzabilidad, y el grafo incluye fijaciones de desarrollo y prueba: un hallazgo puede referirse al utillaje y no al software distribuido.
Informe JSON sin procesar legible por máquina
Comentarios
¿Algo no cuadra en este informe, o hay ideas que compartir? Mediciones erróneas, herramientas no detectadas, ideas, preguntas: todo es bienvenido. Cada mensaje se lee y recibe respuesta.
Las puntuaciones son señales, no garantías. Reflejan prácticas públicamente visibles en GitHub; no son una auditoría de código ni una garantía de seguridad.
Los datos ausentes se excluyen y los pesos se renormalizan; nunca se puntúan como cero. La metodología es versionada y abierta: métricas v2.10.0, esquema v0.34.0 — metodología completa · wiki de métricas.
Cómo se sitúa un resultado dentro del registro general: estadísticas agregadas.