Informe de salud del softwareesquema 0.34.0 · métricas 2.10.0 · 2026-08-27 23:09 UTC

Z3Prover / z3

The Z3 Theorem Prover

C++Licencia propia★ 12.611 estrellas⑂ 1688 forksdesde mar 2015Ver en GitHub ↗

Z3Prover/z3 tiene un índice de salud de 87 sobre 100, lo que lo sitúa en la banda Excelente. Su puntuación más alta es Vitality (96/100) y la más baja, Sustainability & Governance (61/100). Se actualizó por última vez hoy. Una sola persona concentra la mayor parte del trabajo reciente.

global / 100

Excelente

Í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.

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 73 se calibra a 87 en la escala publicada del índice (calibración del registro 2026-08-02).

Titularidad

Z3 Theorem ProverOrganización

225 seguidores11 repositorios públicosdesde mar 2015

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?

96Excepcional · 21% del índice global

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 — 2911 commits en el último año
10/10	OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10

Datos de entrada utilizados

commits_last_year	2911
human_commit_share	0,99
days_since_last_push	0
active_weeks_last_year	52

Disciplina de publicación

90Excelente

Cómo se puntúa

27/27	Publica versiones — 58 versiones publicadas
36/36	Recencia de las versiones — última versión hace 0 días
27/27	Cadencia de publicación — una versión cada ~41,8 días
0/10	OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.

Datos de entrada utilizados

releases_count	58
latest_release_tag	Nightly
releases_from_tags	no
days_since_latest_release	0
mean_days_between_releases	41,8

Comunidad y Adopción

¿Tiene el proyecto usuarios, descargas, atención y unas condiciones acogedoras para quienes contribuyen?

72Bueno · 17% del índice global

Popularidad y adopción

97Excepcional

Cómo se puntúa

60/60	Estrellas — 12.611 estrellas
25/25	Forks — 1688 forks
12.4/15	Observadores — 174 observadores

Datos de entrada utilizados

forks	1688
stars	12.611
watchers	174
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Salud de la comunidad

44Débil

Cómo se puntúa

22.5/22.5	README
16.9/22.5	Licencia — archivo de licencia presente, no es una licencia reconocida
0/18	Guía CONTRIBUTING
0/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	28
has_contributing	no
has_issue_template	no
has_code_of_conduct	no
readme_badge_services	github.com
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?

61Moderado · 23% del índice global

Resiliencia de mantenedores (factor bus)

41Débil

Cómo se puntúa

9/54	Factor bus — la mitad de los commits recae en 1 contribuyente(s)
8.4/22.5	Distribución de commits — el principal contribuyente firma el 63% de los commits
13.5/13.5	Amplitud de contribuyentes — 96 contribuyentes
10/10	OpenSSF Scorecard: Contributors — project has 47 contributing companies or organizations

Datos de entrada utilizados

bus_factor	1
contributors_sampled	96
top_contributor_share	0,626

Capacidad de respuesta a issues y PR

79Bueno

Cómo se puntúa

41.7/42	Resolución de issues — 99% de issues cerradas
24.4/30	Aceptación de PR — 2517/3089 PR decididos fusionados
0/13	Newcomer PR acceptance — ningún PR de un contribuyente primerizo decidido en 30 d
3/15	OpenSSF Scorecard: Code-Review — Found 5/23 approved changesets -- score normalized to 2

Datos de entrada utilizados

merged_prs	2517
open_issues	45
closed_issues	6343
prs_merged_7d	23
prs_decided_7d	26
prs_merged_30d	34
prs_decided_30d	37
issue_closed_ratio	0,993
closed_unmerged_prs	572
first_time_authors_30d	0
first_time_prs_merged_30d	0
first_time_prs_decided_30d	0

Excluidos de la puntuación (sin datos o no aplicable): Newcomer PR acceptance. Los pesos restantes se han renormalizado.

Propiedad y custodia

67Bueno

Cómo se puntúa

30/30	Respaldo de la propiedad — propiedad de una organización
0/20	Dominio verificado
16.9/25	Alcance del propietario — 225 seguidores de Z3Prover
19.9/25	Trayectoria — 11 repos públicos, cuenta de ~11 años

Datos de entrada utilizados

followers	225
owner_type	Organization
is_verified	no
owner_login	Z3Prover
public_repos	11
account_age_days	4172

Calidad de Ingeniería

¿Existen unas prácticas mínimas de ingeniería y documentación?

70Bueno · 19% del índice global

Prácticas de ingeniería

66Bueno

Cómo se puntúa

24/24	Flujos de trabajo de CI — 35 flujo(s) de trabajo
24/24	Pruebas presentes
0/16	Configuración de linter
0/9.6	Hooks de pre-commit
0/6.4	.editorconfig
18/20	OpenSSF Scorecard: CI-Tests — 25 out of 27 merged PRs checked by a CI test -- score normalized to 9

Datos de entrada utilizados

has_ci	sí
has_tests	sí
has_editorconfig	no
has_linter_config	no
has_precommit_config	no

Documentación

75Bueno

Cómo se puntúa

30/30	README
25/25	Directorio de documentación
0/15	Sitio de documentación / página del proyecto
10/10	Descripción del repositorio
0/10	Topics
10/10	Wiki

Datos de entrada utilizados

topics	—
has_wiki	sí
homepage	—
docs_site	—
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?

62Moderado · 16% del índice global

Postura de seguridad

53Moderado

Cómo se puntúa

7.5/7.5	Binary-Artifacts — no binaries found in the repo
0/7.5	Branch-Protection — branch protection not enabled on development/release branches
2.2/2.5	CI-Tests — 25 out of 27 merged PRs checked by a CI test -- score normalized to 9
0/2.5	CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
1.5/7.5	Code-Review — Found 5/23 approved changesets -- score normalized to 2
2.5/2.5	Contributors — project has 47 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.2/2.5	Licencia — license file detected
7.5/7.5	Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
5/5	Packaging — packaging workflow detected
2.5/5	Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5
0/5	SAST — SAST tool is not run on all commits -- score normalized to 0
0/5	Security-Policy — security policy file not 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
7.5/7.5	Vulnerabilities — 0 existing vulnerabilities detected

Datos de entrada utilizados

source	openssf_scorecard
checks_evaluated	18
scorecard_version	v5.5.0
checks_inconclusive	0
scorecard_aggregate	5,3

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	0
affected_packages	0
assessed_packages	396
unassessed_packages	3
affected_by_severity	none
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 396 dependencias resueltas con OSV. 3 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.

89Excelente · 4% del índice global

Contexto y guía para agentes

85Excelente

Cómo se puntúa

45/45	Instrucciones para agentes — .github/copilot-instructions.md
0/15	Documentación legible por máquinas (llms.txt)
40/40	Historial de commits legible — 80 de 99 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo)

Datos de entrada utilizados

has_llms_txt	no
llms_txt_url	—
legible_history_share	0,808
agent_instruction_files	.github/copilot-instructions.md
agent_instruction_max_bytes	6712

Bucle de verificación (compilación / pruebas / verificación de tipos)

84Excelente

Cómo se puntúa

18/18	Arranque con un solo comando — contrib/qprofdiff/Makefile
22/22	Pruebas automatizadas
0/11	Configuración de lint / formato
11/11	Verificación estática de tipos — src/api/js/tsconfig.json
10/10	Entorno reproducible — lockfile
10/10	Práctica demostrada con agentes — 72 de los últimos 100 commits con autoría o crédito de agente
8/8	Mantenimiento automatizado — 1 de los últimos 100 commits son actualizaciones automáticas de dependencias
5/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 5

Datos de entrada utilizados

has_nix	no
has_tests	sí
lockfiles	package-lock.json
has_dockerfile	no
typed_language	sí
bootstrap_files	contrib/qprofdiff/Makefile
has_devcontainer	no
has_linter_config	no
typecheck_configs	src/api/js/tsconfig.json
agent_commit_share	0,72
toolchain_manifests	examples/dotnet/dotnet.csproj, examples/go/go.mod, src/api/go/go.mod
dependency_bot_commit_share	0,01

Legibilidad del código para modelos

98Excepcional

Cómo se puntúa

45/45	Código verificable por tipos — C++ (tipado estático)
53.1/55	Tamaños de archivo manejables — 82/2396 archivos fuente de más de 60 KB

Datos de entrada utilizados

primary_language	C++
largest_source_bytes	367.434
source_files_sampled	2396
oversized_source_files	82

Interfaces legibles por máquina

100Excepcional

Cómo se puntúa

0/40	Esquema de API (OpenAPI/GraphQL/proto) — no aplicable a este tipo de software
20/20	Servidor MCP
40/40	Ejemplos ejecutables — examples, notebooks

Datos de entrada utilizados

example_dirs	examples, notebooks
has_mcp_signal	sí
api_schema_files	—
interfaces_expected_of	—

Excluidos de la puntuación (sin datos o no aplicable): Esquema de API (OpenAPI/GraphQL/proto). Los pesos restantes se han renormalizado.

Datos clave

12.611estrellas de GitHub

96contribuidores

2911commits en los últimos 12 meses

0días desde el último push

58versiones publicadas

1factor bus

45issues abiertas

—ecosistemas de paquetes

Advertencias de recopilación de datos

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token

Más detalle

Historial de estrellas y forks 0 ★ / 1688 ⇿

0Estrellas

1688Forks

44Versiones

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.

Solo se muestra el historial más reciente: este repositorio supera la ventana de recopilación, por lo que no se captura el historial más antiguo.

Mayor 0Menor 0Parche 0

Cada punto abarca 7 días.

OpenSSF Scorecard 5.3 / 10

5.3agregado

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).Scorecard v5.5.0 · 2026-08-27 23:08 UTC

10	Binary-Artifacts	no binaries found in the repo
0	Branch-Protection	branch protection not enabled on development/release branches
9	CI-Tests	25 out of 27 merged PRs checked by a CI test -- score normalized to 9
0	CII-Best-Practices	no effort to earn an OpenSSF best practices badge detected
2	Code-Review	Found 5/23 approved changesets -- score normalized to 2
10	Contributors	project has 47 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
9	License	license file detected
10	Maintained	30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
10	Packaging	packaging workflow detected
5	Pinned-Dependencies	dependency not pinned by hash detected -- score normalized to 5
0	SAST	SAST tool is not run on all commits -- score normalized to 0
0	Security-Policy	security policy file not detected
0	Signed-Releases	Project has not signed or included provenance with any releases.
0	Token-Permissions	detected GitHub workflow tokens with excessive permissions
10	Vulnerabilities	0 existing vulnerabilities detected

Todas las dependencias 399

Conjunto completo de dependencias resueltas según el grafo de dependencias de GitHub: 0 paquetes directos y 399 indirectos (transitivos). El cierre transitivo es completo cuando el repositorio incluye un lockfile.

Registro	Paquete	Versión	Relación
Go	../../src/api/go	`0.0.0`	indirecta
npm	@babel/code-frame	`7.29.7`	indirecta
npm	@babel/compat-data	`7.29.7`	indirecta
npm	@babel/core	`7.29.7`	indirecta
npm	@babel/generator	`7.29.8`	indirecta
npm	@babel/helper-compilation-targets	`7.29.7`	indirecta
npm	@babel/helper-globals	`7.29.7`	indirecta
npm	@babel/helper-module-imports	`7.29.7`	indirecta
npm	@babel/helper-module-transforms	`7.29.7`	indirecta
npm	@babel/helper-plugin-utils	`7.19.0`	indirecta
npm	@babel/helper-string-parser	`7.29.7`	indirecta
npm	@babel/helper-validator-identifier	`7.29.7`	indirecta
npm	@babel/helper-validator-option	`7.29.7`	indirecta
npm	@babel/helpers	`7.29.7`	indirecta
npm	@babel/parser	`7.29.8`	indirecta
npm	@babel/plugin-syntax-async-generators	`7.8.4`	indirecta
npm	@babel/plugin-syntax-bigint	`7.8.3`	indirecta
npm	@babel/plugin-syntax-class-properties	`7.12.13`	indirecta
npm	@babel/plugin-syntax-import-meta	`7.10.4`	indirecta
npm	@babel/plugin-syntax-json-strings	`7.8.3`	indirecta
npm	@babel/plugin-syntax-logical-assignment-operators	`7.10.4`	indirecta
npm	@babel/plugin-syntax-nullish-coalescing-operator	`7.8.3`	indirecta
npm	@babel/plugin-syntax-numeric-separator	`7.10.4`	indirecta
npm	@babel/plugin-syntax-object-rest-spread	`7.8.3`	indirecta
npm	@babel/plugin-syntax-optional-catch-binding	`7.8.3`	indirecta
npm	@babel/plugin-syntax-optional-chaining	`7.8.3`	indirecta
npm	@babel/plugin-syntax-top-level-await	`7.14.5`	indirecta
npm	@babel/plugin-syntax-typescript	`7.18.6`	indirecta
npm	@babel/runtime	`7.28.4`	indirecta
npm	@babel/template	`7.29.7`	indirecta
npm	@babel/traverse	`7.29.8`	indirecta
npm	@babel/types	`7.29.8`	indirecta
npm	@bcoe/v8-coverage	`0.2.3`	indirecta
npm	@cspotcode/source-map-support	`0.8.1`	indirecta
npm	@gerrit0/mini-shiki	`1.24.1`	indirecta
npm	@istanbuljs/load-nyc-config	`1.1.0`	indirecta
npm	@istanbuljs/schema	`0.1.3`	indirecta
npm	@jest/console	`28.1.3`	indirecta
npm	@jest/core	`28.1.3`	indirecta
npm	@jest/environment	`28.1.3`	indirecta
npm	@jest/expect	`28.1.3`	indirecta
npm	@jest/expect-utils	`28.1.3`	indirecta
npm	@jest/fake-timers	`28.1.3`	indirecta
npm	@jest/globals	`28.1.3`	indirecta
npm	@jest/reporters	`28.1.3`	indirecta
npm	@jest/schemas	`28.1.3`	indirecta
npm	@jest/source-map	`28.1.2`	indirecta
npm	@jest/test-result	`28.1.3`	indirecta
npm	@jest/test-sequencer	`28.1.3`	indirecta
npm	@jest/transform	`28.1.3`	indirecta
npm	@jest/types	`28.1.3`	indirecta
npm	@jridgewell/gen-mapping	`0.3.13`	indirecta
npm	@jridgewell/remapping	`2.3.5`	indirecta
npm	@jridgewell/resolve-uri	`3.1.0`	indirecta
npm	@jridgewell/sourcemap-codec	`1.5.5`	indirecta
npm	@jridgewell/trace-mapping	`0.3.31`	indirecta
npm	@jridgewell/trace-mapping	`0.3.9`	indirecta
npm	@shikijs/engine-oniguruma	`1.24.0`	indirecta
npm	@shikijs/types	`1.24.0`	indirecta
npm	@shikijs/vscode-textmate	`9.3.0`	indirecta
npm	@sinclair/typebox	`0.24.46`	indirecta
npm	@sinonjs/commons	`1.8.3`	indirecta
npm	@sinonjs/fake-timers	`9.1.2`	indirecta
npm	@tsconfig/node10	`1.0.9`	indirecta
npm	@tsconfig/node12	`1.0.11`	indirecta
npm	@tsconfig/node14	`1.0.3`	indirecta
npm	@tsconfig/node16	`1.0.3`	indirecta
npm	@types/babel__core	`7.1.19`	indirecta
npm	@types/babel__generator	`7.6.4`	indirecta
npm	@types/babel__template	`7.4.1`	indirecta
npm	@types/babel__traverse	`7.18.2`	indirecta
npm	@types/graceful-fs	`4.1.5`	indirecta
npm	@types/hast	`3.0.4`	indirecta
npm	@types/istanbul-lib-coverage	`2.0.4`	indirecta
npm	@types/istanbul-lib-report	`3.0.0`	indirecta
npm	@types/istanbul-reports	`3.0.1`	indirecta
npm	@types/jest	`27.5.2`	indirecta
npm	@types/node	`17.0.45`	indirecta
npm	@types/prettier	`2.7.1`	indirecta
npm	@types/sprintf-js	`1.1.2`	indirecta
npm	@types/stack-utils	`2.0.1`	indirecta
npm	@types/unist	`3.0.3`	indirecta
npm	@types/yargs	`17.0.13`	indirecta
npm	@types/yargs-parser	`21.0.0`	indirecta
npm	acorn	`8.8.0`	indirecta
npm	acorn-walk	`8.2.0`	indirecta
npm	ansi-escapes	`4.3.2`	indirecta
npm	ansi-regex	`5.0.1`	indirecta
npm	ansi-styles	`3.2.1`	indirecta
npm	ansi-styles	`4.3.0`	indirecta
npm	ansi-styles	`5.2.0`	indirecta
npm	anymatch	`3.1.2`	indirecta
npm	arg	`4.1.3`	indirecta
npm	argparse	`1.0.10`	indirecta
npm	argparse	`2.0.1`	indirecta
npm	array-back	`4.0.2`	indirecta
npm	async-mutex	`0.3.2`	indirecta
npm	babel-jest	`28.1.3`	indirecta
npm	babel-plugin-istanbul	`6.1.1`	indirecta
npm	babel-plugin-jest-hoist	`28.1.3`	indirecta
npm	babel-preset-current-node-syntax	`1.0.1`	indirecta
npm	babel-preset-jest	`28.1.3`	indirecta
npm	balanced-match	`1.0.2`	indirecta
npm	baseline-browser-mapping	`2.11.11`	indirecta
npm	bluebird	`3.7.2`	indirecta
npm	brace-expansion	`1.1.18`	indirecta
npm	brace-expansion	`2.1.4`	indirecta
npm	braces	`3.0.3`	indirecta
npm	browserslist	`4.28.7`	indirecta
npm	bs-logger	`0.2.6`	indirecta
npm	bser	`2.1.1`	indirecta
npm	buffer-from	`1.1.2`	indirecta
npm	call-bind	`1.0.2`	indirecta
npm	callsites	`3.1.0`	indirecta
npm	camelcase	`5.3.1`	indirecta
npm	camelcase	`6.3.0`	indirecta
npm	caniuse-lite	`1.0.30001806`	indirecta
npm	chalk	`2.4.2`	indirecta
npm	chalk	`4.1.2`	indirecta
npm	char-regex	`1.0.2`	indirecta
npm	check-engine	`1.14.0`	indirecta
npm	ci-info	`3.5.0`	indirecta
npm	cjs-module-lexer	`1.2.2`	indirecta
npm	cliui	`8.0.1`	indirecta
npm	co	`4.6.0`	indirecta
npm	collect-v8-coverage	`1.0.1`	indirecta
npm	color-convert	`1.9.3`	indirecta
npm	color-convert	`2.0.1`	indirecta
npm	color-name	`1.1.3`	indirecta
npm	color-name	`1.1.4`	indirecta
npm	colors	`1.4.0`	indirecta
npm	command-line-usage	`6.1.3`	indirecta
npm	concat-map	`0.0.1`	indirecta
npm	convert-source-map	`1.9.0`	indirecta
npm	convert-source-map	`2.0.0`	indirecta
npm	create-require	`1.1.1`	indirecta
npm	cross-spawn	`6.0.6`	indirecta
npm	cross-spawn	`7.0.6`	indirecta
npm	debug	`4.3.4`	indirecta
npm	dedent	`0.7.0`	indirecta
npm	deep-extend	`0.6.0`	indirecta
npm	deepmerge	`4.2.2`	indirecta
npm	define-properties	`1.1.4`	indirecta
npm	detect-newline	`3.1.0`	indirecta
npm	diff	`4.0.4`	indirecta
npm	diff-sequences	`27.5.1`	indirecta
npm	diff-sequences	`28.1.1`	indirecta
npm	electron-to-chromium	`1.5.399`	indirecta
npm	emittery	`0.10.2`	indirecta
npm	emoji-regex	`8.0.0`	indirecta
npm	entities	`4.5.0`	indirecta
npm	error-ex	`1.3.2`	indirecta
npm	es-abstract	`1.20.1`	indirecta
npm	es-to-primitive	`1.2.1`	indirecta
npm	escalade	`3.2.0`	indirecta
npm	escape-string-regexp	`1.0.5`	indirecta
npm	escape-string-regexp	`2.0.0`	indirecta
npm	esprima	`4.0.1`	indirecta
npm	execa	`5.1.1`	indirecta
npm	exit	`0.1.2`	indirecta
npm	expect	`28.1.3`	indirecta
npm	fast-json-stable-stringify	`2.1.0`	indirecta
npm	fb-watchman	`2.0.2`	indirecta
npm	fill-range	`7.1.1`	indirecta
npm	find-up	`4.1.0`	indirecta
npm	fs.realpath	`1.0.0`	indirecta
npm	fsevents	`2.3.2`	indirecta
npm	function-bind	`1.1.1`	indirecta
npm	function.prototype.name	`1.1.5`	indirecta
npm	functions-have-names	`1.2.3`	indirecta
npm	gensync	`1.0.0-beta.2`	indirecta
npm	get-caller-file	`2.0.5`	indirecta
npm	get-intrinsic	`1.1.1`	indirecta
npm	get-package-type	`0.1.0`	indirecta
npm	get-stream	`6.0.1`	indirecta
npm	get-symbol-description	`1.0.0`	indirecta
npm	glob	`7.2.3`	indirecta
npm	graceful-fs	`4.2.10`	indirecta
npm	has	`1.0.3`	indirecta
npm	has-bigints	`1.0.2`	indirecta
npm	has-flag	`3.0.0`	indirecta
npm	has-flag	`4.0.0`	indirecta
npm	has-property-descriptors	`1.0.0`	indirecta
npm	has-symbols	`1.0.3`	indirecta
npm	has-tostringtag	`1.0.0`	indirecta
npm	hosted-git-info	`2.8.9`	indirecta
npm	html-escaper	`2.0.2`	indirecta
npm	human-signals	`2.1.0`	indirecta
npm	import-local	`3.1.0`	indirecta
npm	imurmurhash	`0.1.4`	indirecta
npm	inflight	`1.0.6`	indirecta
npm	inherits	`2.0.4`	indirecta
npm	internal-slot	`1.0.3`	indirecta
npm	is-arrayish	`0.2.1`	indirecta
npm	is-bigint	`1.0.4`	indirecta
npm	is-boolean-object	`1.1.2`	indirecta
npm	is-callable	`1.2.4`	indirecta
npm	is-core-module	`2.9.0`	indirecta
npm	is-date-object	`1.0.5`	indirecta
npm	is-fullwidth-code-point	`3.0.0`	indirecta
npm	is-generator-fn	`2.1.0`	indirecta
npm	is-negative-zero	`2.0.2`	indirecta
npm	is-number	`7.0.0`	indirecta
npm	is-number-object	`1.0.7`	indirecta
npm	is-regex	`1.1.4`	indirecta
npm	is-shared-array-buffer	`1.0.2`	indirecta
npm	is-stream	`2.0.1`	indirecta
npm	is-string	`1.0.7`	indirecta
npm	is-symbol	`1.0.4`	indirecta
npm	is-weakref	`1.0.2`	indirecta
npm	isexe	`2.0.0`	indirecta
npm	istanbul-lib-coverage	`3.2.0`	indirecta
npm	istanbul-lib-instrument	`5.2.1`	indirecta
npm	istanbul-lib-report	`3.0.0`	indirecta
npm	istanbul-lib-source-maps	`4.0.1`	indirecta
npm	istanbul-reports	`3.1.5`	indirecta
npm	iter-tools	`7.5.0`	indirecta
npm	jest	`28.1.3`	indirecta
npm	jest-changed-files	`28.1.3`	indirecta
npm	jest-circus	`28.1.3`	indirecta
npm	jest-cli	`28.1.3`	indirecta
npm	jest-config	`28.1.3`	indirecta
npm	jest-diff	`27.5.1`	indirecta
npm	jest-diff	`28.1.3`	indirecta
npm	jest-docblock	`28.1.1`	indirecta
npm	jest-each	`28.1.3`	indirecta
npm	jest-environment-node	`28.1.3`	indirecta
npm	jest-get-type	`27.5.1`	indirecta
npm	jest-get-type	`28.0.2`	indirecta
npm	jest-haste-map	`28.1.3`	indirecta
npm	jest-leak-detector	`28.1.3`	indirecta
npm	jest-matcher-utils	`27.5.1`	indirecta
npm	jest-matcher-utils	`28.1.3`	indirecta
npm	jest-message-util	`28.1.3`	indirecta
npm	jest-mock	`28.1.3`	indirecta
npm	jest-pnp-resolver	`1.2.2`	indirecta
npm	jest-regex-util	`28.0.2`	indirecta
npm	jest-resolve	`28.1.3`	indirecta
npm	jest-resolve-dependencies	`28.1.3`	indirecta
npm	jest-runner	`28.1.3`	indirecta
npm	jest-runtime	`28.1.3`	indirecta
npm	jest-snapshot	`28.1.3`	indirecta
npm	jest-util	`28.1.3`	indirecta
npm	jest-validate	`28.1.3`	indirecta
npm	jest-watcher	`28.1.3`	indirecta
npm	jest-worker	`28.1.3`	indirecta
npm	js-tokens	`4.0.0`	indirecta
npm	js-yaml	`3.15.1`	indirecta
npm	jsesc	`3.1.0`	indirecta
npm	json-parse-better-errors	`1.0.2`	indirecta
npm	json-parse-even-better-errors	`2.3.1`	indirecta
npm	json5	`2.2.3`	indirecta
npm	jsonfile	`6.1.0`	indirecta
npm	kleur	`3.0.3`	indirecta
npm	leven	`3.1.0`	indirecta
npm	lines-and-columns	`1.2.4`	indirecta
npm	linkify-it	`5.0.2`	indirecta
npm	load-json-file	`4.0.0`	indirecta
npm	locate-path	`5.0.0`	indirecta
npm	lodash.memoize	`4.1.2`	indirecta
npm	lru-cache	`5.1.1`	indirecta
npm	lru-cache	`6.0.0`	indirecta
npm	lunr	`2.3.9`	indirecta
npm	make-dir	`3.1.0`	indirecta
npm	make-error	`1.3.6`	indirecta
npm	makeerror	`1.0.12`	indirecta
npm	markdown-it	`14.2.0`	indirecta
npm	mdurl	`2.0.0`	indirecta
npm	memorystream	`0.3.1`	indirecta
npm	merge-stream	`2.0.0`	indirecta
npm	micromatch	`4.0.8`	indirecta
npm	mimic-fn	`2.1.0`	indirecta
npm	minimatch	`3.1.5`	indirecta
npm	minimatch	`9.0.9`	indirecta
npm	ms	`2.1.2`	indirecta
npm	natural-compare	`1.4.0`	indirecta
npm	nice-try	`1.0.5`	indirecta
npm	node-int64	`0.4.0`	indirecta
npm	node-releases	`2.0.51`	indirecta
npm	normalize-package-data	`2.5.0`	indirecta
npm	normalize-path	`3.0.0`	indirecta
npm	npm-run-all	`4.1.5`	indirecta
npm	npm-run-path	`4.0.1`	indirecta
npm	object-inspect	`1.12.1`	indirecta
npm	object-keys	`1.1.1`	indirecta
npm	object.assign	`4.1.2`	indirecta
npm	once	`1.4.0`	indirecta
npm	onetime	`5.1.2`	indirecta
npm	p-limit	`2.3.0`	indirecta
npm	p-limit	`3.1.0`	indirecta
npm	p-locate	`4.1.0`	indirecta
npm	p-try	`2.2.0`	indirecta
npm	parse-json	`4.0.0`	indirecta
npm	parse-json	`5.2.0`	indirecta
npm	path-exists	`4.0.0`	indirecta
npm	path-is-absolute	`1.0.1`	indirecta
npm	path-key	`2.0.1`	indirecta
npm	path-key	`3.1.1`	indirecta
npm	path-parse	`1.0.7`	indirecta
npm	path-type	`3.0.0`	indirecta
npm	picocolors	`1.1.1`	indirecta
npm	picomatch	`2.3.2`	indirecta
npm	pidtree	`0.3.1`	indirecta
npm	pify	`3.0.0`	indirecta
npm	pirates	`4.0.5`	indirecta
npm	pkg-dir	`4.2.0`	indirecta
npm	prettier	`3.4.2`	indirecta
npm	pretty-format	`27.5.1`	indirecta
npm	pretty-format	`28.1.3`	indirecta
npm	prompts	`2.4.2`	indirecta
npm	punycode.js	`2.3.1`	indirecta
npm	react-is	`17.0.2`	indirecta
npm	react-is	`18.2.0`	indirecta
npm	read-pkg	`3.0.0`	indirecta
npm	reduce-flatten	`2.0.0`	indirecta
npm	regexp.prototype.flags	`1.4.3`	indirecta
npm	require-directory	`2.1.1`	indirecta
npm	resolve	`1.22.0`	indirecta
npm	resolve-cwd	`3.0.0`	indirecta
npm	resolve-from	`5.0.0`	indirecta
npm	resolve.exports	`1.1.0`	indirecta
npm	rimraf	`3.0.2`	indirecta
npm	semver	`5.7.2`	indirecta
npm	semver	`6.3.1`	indirecta
npm	semver	`7.5.4`	indirecta
npm	semver	`7.6.3`	indirecta
npm	shebang-command	`1.2.0`	indirecta
npm	shebang-command	`2.0.0`	indirecta
npm	shebang-regex	`1.0.0`	indirecta
npm	shebang-regex	`3.0.0`	indirecta
npm	shell-quote	`1.10.0`	indirecta
npm	side-channel	`1.0.4`	indirecta
npm	signal-exit	`3.0.7`	indirecta
npm	sisteransi	`1.0.5`	indirecta
npm	slash	`3.0.0`	indirecta
npm	source-map	`0.6.1`	indirecta
npm	source-map-support	`0.5.13`	indirecta
npm	spdx-correct	`3.1.1`	indirecta
npm	spdx-exceptions	`2.3.0`	indirecta
npm	spdx-expression-parse	`3.0.1`	indirecta
npm	spdx-license-ids	`3.0.11`	indirecta
npm	sprintf-js	`1.0.3`	indirecta
npm	sprintf-js	`1.1.2`	indirecta
npm	stack-utils	`2.0.5`	indirecta
npm	string-length	`4.0.2`	indirecta
npm	string-width	`4.2.3`	indirecta
npm	string.prototype.padend	`3.1.3`	indirecta
npm	string.prototype.trimend	`1.0.5`	indirecta
npm	string.prototype.trimstart	`1.0.5`	indirecta
npm	strip-ansi	`6.0.1`	indirecta
npm	strip-bom	`3.0.0`	indirecta
npm	strip-bom	`4.0.0`	indirecta
npm	strip-final-newline	`2.0.0`	indirecta
npm	strip-json-comments	`3.1.1`	indirecta
npm	supports-color	`5.5.0`	indirecta
npm	supports-color	`7.2.0`	indirecta
npm	supports-color	`8.1.1`	indirecta
npm	supports-hyperlinks	`2.3.0`	indirecta
npm	supports-preserve-symlinks-flag	`1.0.0`	indirecta
npm	table-layout	`1.0.2`	indirecta
npm	terminal-link	`2.1.1`	indirecta
npm	test-exclude	`6.0.0`	indirecta
npm	tmpl	`1.0.5`	indirecta
npm	to-regex-range	`5.0.1`	indirecta
npm	ts-expect	`1.3.0`	indirecta
npm	ts-jest	`28.0.8`	indirecta
npm	ts-node	`10.9.1`	indirecta
npm	tslib	`2.4.0`	indirecta
npm	type-detect	`4.0.8`	indirecta
npm	type-fest	`0.21.3`	indirecta
npm	typedoc	`0.27.3`	indirecta
npm	typescript	`5.7.2`	indirecta
npm	typical	`5.2.0`	indirecta
npm	uc.micro	`2.1.0`	indirecta
npm	unbox-primitive	`1.0.2`	indirecta
npm	universalify	`2.0.1`	indirecta
npm	update-browserslist-db	`1.2.3`	indirecta
npm	v8-compile-cache-lib	`3.0.1`	indirecta
npm	v8-to-istanbul	`9.0.1`	indirecta
npm	validate-npm-package-license	`3.0.4`	indirecta
npm	walker	`1.0.8`	indirecta
npm	which	`1.3.1`	indirecta
npm	which	`2.0.2`	indirecta
npm	which-boxed-primitive	`1.0.2`	indirecta
npm	wordwrapjs	`4.0.1`	indirecta
npm	wrap-ansi	`7.0.0`	indirecta
npm	wrappy	`1.0.2`	indirecta
npm	write-file-atomic	`4.0.2`	indirecta
npm	y18n	`5.0.8`	indirecta
npm	yallist	`3.1.1`	indirecta
npm	yallist	`4.0.0`	indirecta
npm	yaml	`2.9.0`	indirecta
npm	yargs	`17.7.1`	indirecta
npm	yargs-parser	`21.1.1`	indirecta
npm	yn	`3.1.1`	indirecta
npm	yocto-queue	`0.1.0`	indirecta
NuGet	Microsoft.Z3	`—`	indirecta
PyPI	importlib-resources	`—`	indirecta
PyPI	setuptools	`—`	indirecta

Avisos de dependencias 0

Este repositorio no publica ningún paquete que el índice resuelva, así que se evaluó su propio grafo de dependencias — 396 paquetes, que incluyen también fijaciones de desarrollo y prueba que nunca se distribuyen: 0 tienen avisos conocidos, de los cuales 0 son directas. 3 no pudieron evaluarse: sin versión resuelta, ecosistema no admitido, o fuera de la lista de paquetes informada.

Ningún aviso conocido afecta a las dependencias evaluadas.

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.