Informe de salud del softwareesquema 0.34.0 · métricas 2.10.0 · 2026-10-19 22:23 UTC

Certora / CertoraProver

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

KotlinGPL-3.0★ 338 estrellas⑂ 50 forksdesde feb 2025Ver en GitHub ↗

TipoHerramienta de línea de comandoscómo se determina

#blockchain #certora #certora-prover #ethereum #formal-verification #security-tools #smart-contracts #solana #stellar #web3

Certora/CertoraProver tiene un índice de salud de 73 sobre 100, lo que lo sitúa en la banda Bueno. Su puntuación más alta es Vitality (88/100) y la más baja, Security (38/100). Se actualizó por última vez hace 3 días. 5 personas concentran la mayor parte del trabajo reciente.

global / 100

Bueno

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

Titularidad

CertoraOrganización

188 seguidores285 repositorios públicosdesde may 2018

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?

88Excelente · 21% del índice global

Actividad de desarrollo

86Excelente

Cómo se puntúa

36/36	Recencia de push — último push hace 3 días
22.2/36	Cadencia de commits — 32/52 semanas con commits
18/18	Volumen de commits — 577 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	577
human_commit_share	1
days_since_last_push	3
active_weeks_last_year	32

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 3 días
27/27	Cadencia de publicación — una versión cada ~12,6 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	8.20.2
releases_from_tags	no
days_since_latest_release	3
mean_days_between_releases	12,6

Comunidad y Adopción

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

54Moderado · 17% del índice global

Popularidad y adopción

57Moderado

Cómo se puntúa

41/60	Estrellas — 338 estrellas
14.1/25	Forks — 50 forks
1.7/15	Observadores — 3 observadores

Datos de entrada utilizados

forks	50
stars	338
watchers	3
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Salud de la comunidad

50Moderado

Cómo se puntúa

22.5/22.5	README
22.5/22.5	Licencia — licencia reconocida (GPL-3.0)
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	2
has_contributing	no
has_issue_template	no
has_code_of_conduct	no
readme_badge_services	shields.io
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?

71Bueno · 23% del índice global

Resiliencia de mantenedores (factor bus)

88Excelente

Cómo se puntúa

45.9/54	Factor bus — la mitad de los commits recae en 5 contribuyente(s)
18.5/22.5	Distribución de commits — el principal contribuyente firma el 18% de los commits
13.5/13.5	Amplitud de contribuyentes — 27 contribuyentes
10/10	OpenSSF Scorecard: Contributors — project has 8 contributing companies or organizations

Datos de entrada utilizados

bus_factor	5
contributors_sampled	27
top_contributor_share	0,176

Capacidad de respuesta a issues y PR

52Moderado

Cómo se puntúa

7.7/42	Resolución de issues — 18% de issues cerradas
22.7/30	Aceptación de PR — 47/62 PR decididos fusionados
0/13	Newcomer PR acceptance — ningún PR de un contribuyente primerizo decidido en 30 d
15/15	OpenSSF Scorecard: Code-Review — all changesets reviewed

Datos de entrada utilizados

merged_prs	47
open_issues	40
closed_issues	9
prs_merged_7d	3
prs_decided_7d	3
prs_merged_30d	3
prs_decided_30d	3
issue_closed_ratio	0,184
closed_unmerged_prs	15
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

71Bueno

Cómo se puntúa

30/30	Respaldo de la propiedad — propiedad de una organización
0/20	Dominio verificado
16.4/25	Alcance del propietario — 188 seguidores de Certora
25/25	Trayectoria — 285 repos públicos, cuenta de ~8 años

Datos de entrada utilizados

followers	188
owner_type	Organization
is_verified	no
owner_login	Certora
public_repos	285
account_age_days	3083

Calidad de Ingeniería

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

58Moderado · 19% del índice global

Prácticas de ingeniería

46Débil

Cómo se puntúa

0/24	Flujos de trabajo de CI
24/24	Pruebas presentes
16/16	Configuración de linter — .flake8
0/9.6	Hooks de pre-commit
6.4/6.4	.editorconfig
0/20	OpenSSF Scorecard: CI-Tests — 0 out of 3 merged PRs checked by a CI test -- score normalized to 0

Datos de entrada utilizados

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

Documentación

75Bueno

Cómo se puntúa

30/30	README
0/25	Directorio de documentación
15/15	Sitio de documentación / página del proyecto — https://www.certora.com
10/10	Descripción del repositorio
10/10	Topics — 10 topics
10/10	Wiki

Datos de entrada utilizados

topics	blockchain, certora, certora-prover, ethereum, formal-verification, security-tools, smart-contracts, solana, stellar, web3
has_wiki	sí
homepage	https://www.certora.com
docs_site	https://www.certora.com
has_readme	sí
has_docs_dir	no
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?

38Débil · 16% del índice global

Postura de seguridad

29En riesgo

Cómo se puntúa

0/7.5	Binary-Artifacts — binaries present in source code
3.8/7.5	Branch-Protection — branch protection is not maximal on development and all release branches
0/2.5	CI-Tests — 0 out of 3 merged PRs checked by a CI test -- score normalized to 0
0/2.5	CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
7.5/7.5	Code-Review — all changesets reviewed
2.5/2.5	Contributors — project has 8 contributing companies or organizations
0/10	Dangerous-Workflow — sin datos
0/7.5	Dependency-Update-Tool — no 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 0 issue activity found in the last 90 days -- score normalized to 10
0/5	Packaging — sin datos
0/5	Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
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 — sin datos
0/7.5	Vulnerabilities — 29 existing vulnerabilities detected

Datos de entrada utilizados

source	openssf_scorecard
checks_evaluated	15
scorecard_version	v5.5.0
checks_inconclusive	3
scorecard_aggregate	2,9

Excluidos de la puntuación (sin datos o no aplicable): Dangerous-Workflow, Packaging, Token-Permissions. Los pesos restantes se han renormalizado.

Avisos de dependencias

76Bueno

Cómo se puntúa

23.6/35	Dependencias directas libres de avisos conocidos — 4 afectados: rand 0.7.3 (low), rand 0.8.5 (low), memmap2 0.5.10 (unknown), +1 más
0/25	Dependencias indirectas libres de avisos conocidos — el conjunto transitivo no es separable de las dependencias de desarrollo y prueba en este alcance
33.3/40	Sin avisos pendientes — 4 paquete(s) con avisos sin atender más allá de 90 días; el más antiguo publicado hace 193 días

Datos de entrada utilizados

source	osv
advisories	71
affected_packages	36
assessed_packages	598
unassessed_packages	14
affected_by_severity	critical 1, high 5, moderate 10, low 5, unknown 15
direct_affected_packages	4

Excluidos de la puntuación (sin datos o no aplicable): Dependencias indirectas libres de avisos conocidos. Los pesos restantes se han renormalizado. Se cotejaron 598 dependencias resueltas con OSV. 14 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.

68Bueno · 4% del índice global

Contexto y guía para agentes

30En riesgo

Cómo se puntúa

0/45	Instrucciones para agentes — sin CLAUDE.md / AGENTS.md / reglas de editor
0/15	Documentación legible por máquinas (llms.txt)
30.4/40	Historial de commits legible — 57 de 100 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,57
agent_instruction_files	—
agent_instruction_max_bytes	—

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

72Bueno

Cómo se puntúa

18/18	Arranque con un solo comando — Public/TestSolana/CeilDivTest/justfile, Public/TestSolana/CpisTest/justfile, Public/TestSolana/IsAccountWritten/justfile, Public/TestSolana/MathEquivTest/justfile, Public/TestSolana/RentTest/justfile, Public/TestSolana/SatisfyRuleTest/justfile, Public/TestSolana/ScalarPredicateTest/justfile, Public/TestSolana/SignedMathTest/justfile, Public/TestSolana/U128ArithTest/justfile, Public/TestSolana/U128BinRelTest/justfile, Public/TestSoroban/multi_assert/justfile, Public/TestSui/Hello/justfile, Public/TestSui/MultiAssert/justfile, Public/TestSui/Vacuity/justfile, src/test/resources/solana/debugger_tests/justfile, src/test/resources/solana/project_for_tests/justfile
22/22	Pruebas automatizadas
11/11	Configuración de lint / formato — .flake8
11/11	Verificación estática de tipos — scripts/python_lint/mypy.ini
10/10	Entorno reproducible — lockfile
0/10	Práctica demostrada con agentes — ningún commit con autoría de agente entre los últimos 100
0/8	Mantenimiento automatizado — no se observan actualizaciones automáticas de dependencias
0/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0

Datos de entrada utilizados

has_nix	no
has_tests	sí
lockfiles	Cargo.lock
has_dockerfile	no
typed_language	sí
bootstrap_files	Public/TestSolana/CeilDivTest/justfile, Public/TestSolana/CpisTest/justfile, Public/TestSolana/IsAccountWritten/justfile, Public/TestSolana/MathEquivTest/justfile, Public/TestSolana/RentTest/justfile, Public/TestSolana/SatisfyRuleTest/justfile, Public/TestSolana/ScalarPredicateTest/justfile, Public/TestSolana/SignedMathTest/justfile, Public/TestSolana/U128ArithTest/justfile, Public/TestSolana/U128BinRelTest/justfile, Public/TestSoroban/multi_assert/justfile, Public/TestSui/Hello/justfile, Public/TestSui/MultiAssert/justfile, Public/TestSui/Vacuity/justfile, src/test/resources/solana/debugger_tests/justfile, src/test/resources/solana/project_for_tests/justfile
has_devcontainer	no
has_linter_config	sí
typecheck_configs	scripts/python_lint/mypy.ini
agent_commit_share	0
toolchain_manifests	Public/TestSolana/CeilDivTest/Cargo.toml, Public/TestSolana/CpisTest/Cargo.toml, Public/TestSolana/IsAccountWritten/Cargo.toml, Public/TestSolana/MathEquivTest/Cargo.toml, Public/TestSolana/RentTest/Cargo.toml, Public/TestSolana/SatisfyRuleTest/Cargo.toml, Public/TestSolana/ScalarPredicateTest/Cargo.toml, Public/TestSolana/SignedMathTest/Cargo.toml, Public/TestSolana/U128ArithTest/Cargo.toml, Public/TestSolana/U128BinRelTest/Cargo.toml, Public/TestSoroban/Meridian2024-workshop/Cargo.toml, Public/TestSoroban/i128FromVal/Cargo.toml, Public/TestSoroban/multi_assert/Cargo.toml, Public/TestSoroban/overflow/Cargo.toml, Public/TestSoroban/symbol_eq/Cargo.toml, Public/TestSoroban/u64FromVal/Cargo.toml, build.gradle.kts, fried-egg/Cargo.toml, scripts/Gimli-DWARF-JSONDump/Cargo.toml, src/test/resources/solana/debugger_tests/Cargo.toml, src/test/resources/solana/project_for_tests/Cargo.toml
dependency_bot_commit_share	0

Legibilidad del código para modelos

99Excepcional

Cómo se puntúa

45/45	Código verificable por tipos — Kotlin (tipado estático)
53.8/55	Tamaños de archivo manejables — 52/2474 archivos fuente de más de 60 KB

Datos de entrada utilizados

primary_language	Kotlin
largest_source_bytes	250.938
source_files_sampled	2474
oversized_source_files	52

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
0/20	Servidor MCP — no aplicable a este tipo de software
40/40	Ejemplos ejecutables — example, examples

Datos de entrada utilizados

example_dirs	example, examples
has_mcp_signal	no
api_schema_files	—
interfaces_expected_of	—

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

Datos clave

338estrellas de GitHub

27contribuidores

577commits en los últimos 12 meses

3días desde el último push

58versiones publicadas

5factor bus

40issues abiertas

crates.io, Mavenecosistemas de paquetes

Advertencias de recopilación de datos

Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
Could not fetch crates package 'tac_optimizer' from its registry
Could not fetch crates package 'Gimli-DWARF-JSONDump' from its registry

Más detalle

Historial de estrellas y forks 0 ★ / 50 ⇿

0Estrellas

50Forks

58Versiones

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 1Menor 24Parche 33

Cada punto abarca 2 días.

OpenSSF Scorecard 2.9 / 10

2.9agregado

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-10-19 22:22 UTC

0	Binary-Artifacts	binaries present in source code
5	Branch-Protection	branch protection is not maximal on development and all release branches
0	CI-Tests	0 out of 3 merged PRs checked by a CI test -- score normalized to 0
0	CII-Best-Practices	no effort to earn an OpenSSF best practices badge detected
10	Code-Review	all changesets reviewed
10	Contributors	project has 8 contributing companies or organizations
n/d	Dangerous-Workflow	no workflows found
0	Dependency-Update-Tool	no update tool detected
0	Fuzzing	project is not fuzzed
10	License	license file detected
10	Maintained	30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10
n/d	Packaging	packaging workflow not detected
0	Pinned-Dependencies	dependency not pinned by hash detected -- score normalized to 0
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.
n/d	Token-Permissions	No tokens found
0	Vulnerabilities	29 existing vulnerabilities detected

Dependencias directas 22

Registro	Paquete	Restricción de versión	Manifiesto
crates.io	egg	`0.7.1`	fried-egg/Cargo.toml
crates.io	etcommon-bigint	`0.2.10`	fried-egg/Cargo.toml
crates.io	clap	`3.0.7`	fried-egg/Cargo.toml
crates.io	serde	`1.0`	fried-egg/Cargo.toml
crates.io	serde_json	`1`	fried-egg/Cargo.toml
crates.io	log	`0.4`	fried-egg/Cargo.toml
crates.io	env_logger	`0.7`	fried-egg/Cargo.toml
crates.io	once_cell	`1.8.0`	fried-egg/Cargo.toml
crates.io	primitive-types	`0.10`	fried-egg/Cargo.toml
crates.io	rand	`0.8.4`	fried-egg/Cargo.toml
crates.io	rust-evm	`—`	fried-egg/Cargo.toml
crates.io	symbolic_expressions	`5.0.3`	fried-egg/Cargo.toml
crates.io	num	`0.3`	fried-egg/Cargo.toml
crates.io	num-bigint	`0.3`	fried-egg/Cargo.toml
crates.io	gimli	`0.31.0`	scripts/Gimli-DWARF-JSONDump/Cargo.toml
crates.io	serde	`1.0.209`	scripts/Gimli-DWARF-JSONDump/Cargo.toml
crates.io	serde_json	`1.0.127`	scripts/Gimli-DWARF-JSONDump/Cargo.toml
crates.io	object	`0.36.7`	scripts/Gimli-DWARF-JSONDump/Cargo.toml
crates.io	getopts	`0.2`	scripts/Gimli-DWARF-JSONDump/Cargo.toml
crates.io	memmap2	`0.9.4`	scripts/Gimli-DWARF-JSONDump/Cargo.toml
crates.io	rustc-demangle	`0.1`	scripts/Gimli-DWARF-JSONDump/Cargo.toml
crates.io	fallible-iterator	`0.3.0`	scripts/Gimli-DWARF-JSONDump/Cargo.toml

Todas las dependencias 612

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

Registro	Paquete	Versión	Relación
crates.io	clap	`3.2.25`	directa
crates.io	egg	`0.7.1`	directa
crates.io	env_logger	`0.7.1`	directa
crates.io	env_logger	`0.9.3`	directa
crates.io	etcommon-bigint	`0.2.10`	directa
crates.io	fallible-iterator	`0.3.0`	directa
crates.io	getopts	`0.2.21`	directa
crates.io	gimli	`0.31.1`	directa
crates.io	log	`0.4.27`	directa
crates.io	log	`0.4.28`	directa
crates.io	log	`0.4.29`	directa
crates.io	log	`0.4.33`	directa
crates.io	memmap2	`0.5.10`	directa
crates.io	memmap2	`0.9.5`	directa
crates.io	num	`0.3.1`	directa
crates.io	num-bigint	`0.3.3`	directa
crates.io	num-bigint	`0.4.6`	directa
crates.io	object	`0.36.7`	directa
crates.io	once_cell	`1.21.3`	directa
crates.io	once_cell	`1.21.4`	directa
crates.io	primitive-types	`0.10.1`	directa
crates.io	rand	`0.3.23`	directa
crates.io	rand	`0.4.6`	directa
crates.io	rand	`0.7.3`	directa
crates.io	rand	`0.8.5`	directa
crates.io	rand	`0.8.6`	directa
crates.io	rust-evm	`0.1.0`	directa
crates.io	rustc-demangle	`0.1.24`	directa
crates.io	serde	`1.0.217`	directa
crates.io	serde	`1.0.219`	directa
crates.io	serde	`1.0.228`	directa
crates.io	serde_json	`1.0.135`	directa
crates.io	serde_json	`1.0.143`	directa
crates.io	serde_json	`1.0.145`	directa
crates.io	serde_json	`1.0.149`	directa
crates.io	serde_json	`1.0.150`	directa
crates.io	symbolic_expressions	`5.0.3`	directa
crates.io	adler2	`2.0.0`	indirecta
crates.io	aead	`0.4.3`	indirecta
crates.io	aes	`0.7.5`	indirecta
crates.io	aes-gcm-siv	`0.10.3`	indirecta
crates.io	ahash	`0.7.8`	indirecta
crates.io	ahash	`0.8.12`	indirecta
crates.io	aho-corasick	`1.1.3`	indirecta
crates.io	anyhow	`1.0.100`	indirecta
crates.io	anyhow	`1.0.99`	indirecta
crates.io	ark-bn254	`0.4.0`	indirecta
crates.io	ark-ec	`0.4.2`	indirecta
crates.io	ark-ff	`0.4.2`	indirecta
crates.io	ark-ff-asm	`0.4.2`	indirecta
crates.io	ark-ff-macros	`0.4.2`	indirecta
crates.io	ark-poly	`0.4.2`	indirecta
crates.io	ark-serialize	`0.4.2`	indirecta
crates.io	ark-serialize-derive	`0.4.2`	indirecta
crates.io	ark-std	`0.4.0`	indirecta
crates.io	arrayref	`0.3.9`	indirecta
crates.io	arrayvec	`0.7.6`	indirecta
crates.io	arrayvec	`0.7.7`	indirecta
crates.io	assert_matches	`1.5.0`	indirecta
crates.io	atty	`0.2.14`	indirecta
crates.io	autocfg	`1.5.0`	indirecta
crates.io	autocfg	`1.5.1`	indirecta
crates.io	base64	`0.12.3`	indirecta
crates.io	base64	`0.21.7`	indirecta
crates.io	base64	`0.22.1`	indirecta
crates.io	bincode	`1.3.3`	indirecta
crates.io	bitflags	`1.3.2`	indirecta
crates.io	bitflags	`2.11.1`	indirecta
crates.io	bitflags	`2.8.0`	indirecta
crates.io	bitflags	`2.9.2`	indirecta
crates.io	bitflags	`2.9.4`	indirecta
crates.io	bitmaps	`2.1.0`	indirecta
crates.io	bitvec	`0.20.4`	indirecta
crates.io	blake3	`1.8.2`	indirecta
crates.io	blake3	`1.8.5`	indirecta
crates.io	block-buffer	`0.10.4`	indirecta
crates.io	block-buffer	`0.12.0`	indirecta
crates.io	block-buffer	`0.9.0`	indirecta
crates.io	block-padding	`0.2.1`	indirecta
crates.io	borsh	`0.10.4`	indirecta
crates.io	borsh	`0.9.3`	indirecta
crates.io	borsh	`1.5.7`	indirecta
crates.io	borsh	`1.6.1`	indirecta
crates.io	borsh-derive	`0.10.4`	indirecta
crates.io	borsh-derive	`0.9.3`	indirecta
crates.io	borsh-derive	`1.5.7`	indirecta
crates.io	borsh-derive	`1.6.1`	indirecta
crates.io	borsh-derive-internal	`0.10.4`	indirecta
crates.io	borsh-derive-internal	`0.9.3`	indirecta
crates.io	borsh-schema-derive-internal	`0.10.4`	indirecta
crates.io	borsh-schema-derive-internal	`0.9.3`	indirecta
crates.io	bs58	`0.4.0`	indirecta
crates.io	bs58	`0.5.1`	indirecta
crates.io	bumpalo	`3.19.0`	indirecta
crates.io	bumpalo	`3.20.2`	indirecta
crates.io	bv	`0.11.1`	indirecta
crates.io	byte-slice-cast	`1.2.3`	indirecta
crates.io	bytemuck	`1.23.2`	indirecta
crates.io	bytemuck	`1.24.0`	indirecta
crates.io	bytemuck	`1.25.0`	indirecta
crates.io	bytemuck_derive	`1.10.1`	indirecta
crates.io	bytemuck_derive	`1.10.2`	indirecta
crates.io	byteorder	`1.5.0`	indirecta
crates.io	bytes	`1.11.1`	indirecta
crates.io	bytes	`1.12.0`	indirecta
crates.io	cc	`1.2.33`	indirecta
crates.io	cc	`1.2.36`	indirecta
crates.io	cc	`1.2.40`	indirecta
crates.io	cc	`1.2.61`	indirecta
crates.io	cfg-if	`1.0.0`	indirecta
crates.io	cfg-if	`1.0.3`	indirecta
crates.io	cfg-if	`1.0.4`	indirecta
crates.io	cfg_aliases	`0.2.1`	indirecta
crates.io	chrono	`0.4.41`	indirecta
crates.io	chrono	`0.4.42`	indirecta
crates.io	cipher	`0.3.0`	indirecta
crates.io	clap_derive	`3.2.25`	indirecta
crates.io	clap_lex	`0.2.4`	indirecta
crates.io	cmov	`0.5.3`	indirecta
crates.io	console_error_panic_hook	`0.1.7`	indirecta
crates.io	console_log	`0.2.2`	indirecta
crates.io	constant_time_eq	`0.3.1`	indirecta
crates.io	constant_time_eq	`0.4.2`	indirecta
crates.io	cpufeatures	`0.2.17`	indirecta
crates.io	cpufeatures	`0.3.0`	indirecta
crates.io	crc32fast	`1.4.2`	indirecta
crates.io	crossbeam-deque	`0.8.6`	indirecta
crates.io	crossbeam-epoch	`0.9.18`	indirecta
crates.io	crossbeam-utils	`0.8.21`	indirecta
crates.io	crunchy	`0.2.4`	indirecta
crates.io	crypto-common	`0.1.6`	indirecta
crates.io	crypto-common	`0.1.7`	indirecta
crates.io	crypto-common	`0.2.1`	indirecta
crates.io	crypto-mac	`0.8.0`	indirecta
crates.io	ctr	`0.8.0`	indirecta
crates.io	ctutils	`0.4.2`	indirecta
crates.io	curve25519-dalek	`3.2.1`	indirecta
crates.io	curve25519-dalek	`4.1.3`	indirecta
crates.io	curve25519-dalek-derive	`0.1.1`	indirecta
crates.io	cvlr	`—`	indirecta
crates.io	cvlr	`0.4.1`	indirecta
crates.io	cvlr	`0.4.2`	indirecta
crates.io	cvlr	`0.5.0`	indirecta
crates.io	cvlr	`0.6.1`	indirecta
crates.io	cvlr-asserts	`0.4.1`	indirecta
crates.io	cvlr-asserts	`0.4.2`	indirecta
crates.io	cvlr-asserts	`0.6.1`	indirecta
crates.io	cvlr-decimal	`0.6.1`	indirecta
crates.io	cvlr-derive	`0.6.1`	indirecta
crates.io	cvlr-early-panic	`0.4.1`	indirecta
crates.io	cvlr-early-panic	`0.4.2`	indirecta
crates.io	cvlr-early-panic	`0.6.1`	indirecta
crates.io	cvlr-fixed	`0.6.1`	indirecta
crates.io	cvlr-hook	`0.4.1`	indirecta
crates.io	cvlr-hook	`0.4.2`	indirecta
crates.io	cvlr-hook	`0.6.1`	indirecta
crates.io	cvlr-log	`0.4.1`	indirecta
crates.io	cvlr-log	`0.4.2`	indirecta
crates.io	cvlr-log	`0.6.1`	indirecta
crates.io	cvlr-macros	`0.4.1`	indirecta
crates.io	cvlr-macros	`0.4.2`	indirecta
crates.io	cvlr-macros	`0.6.1`	indirecta
crates.io	cvlr-mathint	`0.4.1`	indirecta
crates.io	cvlr-mathint	`0.4.2`	indirecta
crates.io	cvlr-mathint	`0.6.1`	indirecta
crates.io	cvlr-nondet	`0.4.1`	indirecta
crates.io	cvlr-nondet	`0.4.2`	indirecta
crates.io	cvlr-nondet	`0.6.1`	indirecta
crates.io	cvlr-solana	`0.4.4`	indirecta
crates.io	cvlr-solana	`0.5.0`	indirecta
crates.io	cvlr-soroban-derive	`0.4.0`	indirecta
crates.io	cvlr-spec	`0.6.1`	indirecta
crates.io	cvlr-spl-token	`0.5.0`	indirecta
crates.io	cvlr-vectors	`0.4.0`	indirecta
crates.io	darling	`0.20.11`	indirecta
crates.io	darling_core	`0.20.11`	indirecta
crates.io	darling_macro	`0.20.11`	indirecta
crates.io	derivation-path	`0.2.0`	indirecta
crates.io	derivative	`2.2.0`	indirecta
crates.io	digest	`0.10.7`	indirecta
crates.io	digest	`0.11.2`	indirecta
crates.io	digest	`0.9.0`	indirecta
crates.io	ed25519	`1.5.3`	indirecta
crates.io	ed25519-dalek	`1.0.1`	indirecta
crates.io	ed25519-dalek-bip32	`0.2.0`	indirecta
crates.io	either	`1.15.0`	indirecta
crates.io	elastic-array-plus	`0.10.0`	indirecta
crates.io	equivalent	`1.0.1`	indirecta
crates.io	equivalent	`1.0.2`	indirecta
crates.io	etcommon-hexutil	`0.2.4`	indirecta
crates.io	etcommon-rlp	`0.2.5`	indirecta
crates.io	feature-probe	`0.1.1`	indirecta
crates.io	fiat-crypto	`0.2.9`	indirecta
crates.io	find-msvc-tools	`0.1.1`	indirecta
crates.io	find-msvc-tools	`0.1.3`	indirecta
crates.io	find-msvc-tools	`0.1.9`	indirecta
crates.io	five8	`0.2.1`	indirecta
crates.io	five8_const	`0.1.4`	indirecta
crates.io	five8_core	`0.1.2`	indirecta
crates.io	fixed-hash	`0.7.0`	indirecta
crates.io	flate2	`1.0.35`	indirecta
crates.io	fnv	`1.0.7`	indirecta
crates.io	foldhash	`0.1.4`	indirecta
crates.io	fuchsia-cprng	`0.1.1`	indirecta
crates.io	funty	`1.1.0`	indirecta
crates.io	futures-core	`0.3.32`	indirecta
crates.io	futures-task	`0.3.32`	indirecta
crates.io	futures-util	`0.3.32`	indirecta
crates.io	fxhash	`0.2.1`	indirecta
crates.io	generic-array	`0.14.7`	indirecta
crates.io	getrandom	`0.1.16`	indirecta
crates.io	getrandom	`0.2.16`	indirecta
crates.io	getrandom	`0.2.17`	indirecta
crates.io	getrandom	`0.3.3`	indirecta
crates.io	hashbrown	`0.11.2`	indirecta
crates.io	hashbrown	`0.12.3`	indirecta
crates.io	hashbrown	`0.13.2`	indirecta
crates.io	hashbrown	`0.15.2`	indirecta
crates.io	hashbrown	`0.15.5`	indirecta
crates.io	hashbrown	`0.16.0`	indirecta
crates.io	hashbrown	`0.17.0`	indirecta
crates.io	hashbrown	`0.17.1`	indirecta
crates.io	heck	`0.4.1`	indirecta
crates.io	hermit-abi	`0.1.19`	indirecta
crates.io	hex	`0.4.3`	indirecta
crates.io	hmac	`0.12.1`	indirecta
crates.io	hmac	`0.8.1`	indirecta
crates.io	hmac-drbg	`0.3.0`	indirecta
crates.io	humantime	`2.2.0`	indirecta
crates.io	humantime	`2.3.0`	indirecta
crates.io	hybrid-array	`0.4.11`	indirecta
crates.io	ident_case	`1.0.1`	indirecta
crates.io	im	`15.1.0`	indirecta
crates.io	impl-codec	`0.5.1`	indirecta
crates.io	impl-rlp	`0.3.0`	indirecta
crates.io	impl-trait-for-tuples	`0.2.3`	indirecta
crates.io	indexmap	`1.9.3`	indirecta
crates.io	indexmap	`2.10.0`	indirecta
crates.io	indexmap	`2.11.1`	indirecta
crates.io	indexmap	`2.11.4`	indirecta
crates.io	indexmap	`2.14.0`	indirecta
crates.io	indexmap	`2.7.0`	indirecta
crates.io	instant	`0.1.13`	indirecta
crates.io	itertools	`0.10.5`	indirecta
crates.io	itoa	`1.0.14`	indirecta
crates.io	itoa	`1.0.15`	indirecta
crates.io	itoa	`1.0.18`	indirecta
crates.io	jobserver	`0.1.33`	indirecta
crates.io	jobserver	`0.1.34`	indirecta
crates.io	js-sys	`0.3.77`	indirecta
crates.io	js-sys	`0.3.78`	indirecta
crates.io	js-sys	`0.3.81`	indirecta
crates.io	js-sys	`0.3.97`	indirecta
crates.io	keccak	`0.1.5`	indirecta
crates.io	keccak	`0.1.6`	indirecta
crates.io	lazy_static	`1.5.0`	indirecta
crates.io	libc	`0.2.169`	indirecta
crates.io	libc	`0.2.175`	indirecta
crates.io	libc	`0.2.176`	indirecta
crates.io	libc	`0.2.186`	indirecta
crates.io	libsecp256k1	`0.6.0`	indirecta
crates.io	libsecp256k1-core	`0.2.2`	indirecta
crates.io	libsecp256k1-gen-ecmult	`0.2.1`	indirecta
crates.io	libsecp256k1-gen-genmult	`0.2.1`	indirecta
crates.io	light-poseidon	`0.2.0`	indirecta
crates.io	lock_api	`0.4.13`	indirecta
crates.io	lock_api	`0.4.14`	indirecta
crates.io	memchr	`2.7.4`	indirecta
crates.io	memchr	`2.7.5`	indirecta
crates.io	memchr	`2.7.6`	indirecta
crates.io	memchr	`2.8.0`	indirecta
crates.io	memchr	`2.8.2`	indirecta
crates.io	memoffset	`0.9.1`	indirecta
crates.io	merlin	`3.0.0`	indirecta
crates.io	miniz_oxide	`0.8.3`	indirecta
crates.io	num-complex	`0.3.1`	indirecta
crates.io	num-derive	`0.4.2`	indirecta
crates.io	num-integer	`0.1.46`	indirecta
crates.io	num-iter	`0.1.45`	indirecta
crates.io	num-rational	`0.3.2`	indirecta
crates.io	num-traits	`0.2.19`	indirecta
crates.io	num_enum	`0.7.4`	indirecta
crates.io	num_enum_derive	`0.7.4`	indirecta
crates.io	opaque-debug	`0.3.1`	indirecta
crates.io	os_str_bytes	`6.6.1`	indirecta
crates.io	parity-scale-codec	`2.3.1`	indirecta
crates.io	parity-scale-codec-derive	`2.3.1`	indirecta
crates.io	parking_lot	`0.12.4`	indirecta
crates.io	parking_lot	`0.12.5`	indirecta
crates.io	parking_lot_core	`0.9.11`	indirecta
crates.io	parking_lot_core	`0.9.12`	indirecta
crates.io	paste	`1.0.15`	indirecta
crates.io	pbkdf2	`0.11.0`	indirecta
crates.io	pbkdf2	`0.4.0`	indirecta
crates.io	percent-encoding	`2.3.2`	indirecta
crates.io	pin-project-lite	`0.2.17`	indirecta
crates.io	polyval	`0.5.3`	indirecta
crates.io	ppv-lite86	`0.2.21`	indirecta
crates.io	proc-macro-crate	`0.1.5`	indirecta
crates.io	proc-macro-crate	`1.3.1`	indirecta
crates.io	proc-macro-crate	`3.3.0`	indirecta
crates.io	proc-macro-crate	`3.4.0`	indirecta
crates.io	proc-macro-crate	`3.5.0`	indirecta
crates.io	proc-macro-error	`1.0.4`	indirecta
crates.io	proc-macro-error-attr	`1.0.4`	indirecta
crates.io	proc-macro2	`1.0.101`	indirecta
crates.io	proc-macro2	`1.0.106`	indirecta
crates.io	proc-macro2	`1.0.107`	indirecta
crates.io	proc-macro2	`1.0.93`	indirecta
crates.io	proc-macro2	`1.0.95`	indirecta
crates.io	qstring	`0.7.2`	indirecta
crates.io	qualifier_attr	`0.2.2`	indirecta
crates.io	quote	`1.0.38`	indirecta
crates.io	quote	`1.0.40`	indirecta
crates.io	quote	`1.0.41`	indirecta
crates.io	quote	`1.0.45`	indirecta
crates.io	quote	`1.0.46`	indirecta
crates.io	quote	`1.0.47`	indirecta
crates.io	r-efi	`5.3.0`	indirecta
crates.io	radium	`0.6.2`	indirecta
crates.io	rand_chacha	`0.2.2`	indirecta
crates.io	rand_chacha	`0.3.1`	indirecta
crates.io	rand_core	`0.3.1`	indirecta
crates.io	rand_core	`0.4.2`	indirecta
crates.io	rand_core	`0.5.1`	indirecta
crates.io	rand_core	`0.6.4`	indirecta
crates.io	rand_hc	`0.2.0`	indirecta
crates.io	rand_xoshiro	`0.6.0`	indirecta
crates.io	rayon	`1.11.0`	indirecta
crates.io	rayon-core	`1.13.0`	indirecta
crates.io	rdrand	`0.4.0`	indirecta
crates.io	redox_syscall	`0.5.17`	indirecta
crates.io	redox_syscall	`0.5.18`	indirecta
crates.io	regex	`1.11.1`	indirecta
crates.io	regex	`1.11.3`	indirecta
crates.io	regex-automata	`0.4.11`	indirecta
crates.io	regex-automata	`0.4.9`	indirecta
crates.io	regex-syntax	`0.8.5`	indirecta
crates.io	regex-syntax	`0.8.6`	indirecta
crates.io	rlp	`0.5.2`	indirecta
crates.io	rustc-hash	`1.1.0`	indirecta
crates.io	rustc-hex	`2.1.0`	indirecta
crates.io	rustc_version	`0.4.1`	indirecta
crates.io	rustversion	`1.0.22`	indirecta
crates.io	ruzstd	`0.7.3`	indirecta
crates.io	ryu	`1.0.18`	indirecta
crates.io	ryu	`1.0.20`	indirecta
crates.io	scopeguard	`1.2.0`	indirecta
crates.io	semver	`1.0.26`	indirecta
crates.io	semver	`1.0.27`	indirecta
crates.io	semver	`1.0.28`	indirecta
crates.io	serde_bytes	`0.11.17`	indirecta
crates.io	serde_bytes	`0.11.19`	indirecta
crates.io	serde_core	`1.0.228`	indirecta
crates.io	serde_derive	`1.0.217`	indirecta
crates.io	serde_derive	`1.0.219`	indirecta
crates.io	serde_derive	`1.0.228`	indirecta
crates.io	serde_with	`2.3.3`	indirecta
crates.io	serde_with_macros	`2.3.3`	indirecta
crates.io	sha2	`0.10.9`	indirecta
crates.io	sha2	`0.9.9`	indirecta
crates.io	sha3	`0.10.8`	indirecta
crates.io	sha3	`0.10.9`	indirecta
crates.io	sha3	`0.9.1`	indirecta
crates.io	shlex	`1.3.0`	indirecta
crates.io	signature	`1.6.4`	indirecta
crates.io	siphasher	`0.3.11`	indirecta
crates.io	sized-chunks	`0.6.5`	indirecta
crates.io	slab	`0.4.12`	indirecta
crates.io	smallvec	`1.15.1`	indirecta
crates.io	smallvec	`1.15.2`	indirecta
crates.io	solana-account	`2.2.1`	indirecta
crates.io	solana-account-info	`2.3.0`	indirecta
crates.io	solana-address-lookup-table-interface	`2.2.2`	indirecta
crates.io	solana-atomic-u64	`2.2.1`	indirecta
crates.io	solana-big-mod-exp	`2.2.1`	indirecta
crates.io	solana-bincode	`2.2.1`	indirecta
crates.io	solana-blake3-hasher	`2.2.1`	indirecta
crates.io	solana-borsh	`2.2.1`	indirecta
crates.io	solana-clock	`2.2.2`	indirecta
crates.io	solana-clock	`2.2.3`	indirecta
crates.io	solana-cpi	`2.2.1`	indirecta
crates.io	solana-decode-error	`2.3.0`	indirecta
crates.io	solana-define-syscall	`2.3.0`	indirecta
crates.io	solana-epoch-rewards	`2.2.1`	indirecta
crates.io	solana-epoch-schedule	`2.2.1`	indirecta
crates.io	solana-example-mocks	`2.2.1`	indirecta
crates.io	solana-feature-gate-interface	`2.2.2`	indirecta
crates.io	solana-fee-calculator	`2.2.1`	indirecta
crates.io	solana-frozen-abi	`1.18.26`	indirecta
crates.io	solana-frozen-abi-macro	`1.18.26`	indirecta
crates.io	solana-hash	`2.3.0`	indirecta
crates.io	solana-instruction	`2.3.0`	indirecta
crates.io	solana-instruction	`2.3.3`	indirecta
crates.io	solana-instructions-sysvar	`2.2.2`	indirecta
crates.io	solana-keccak-hasher	`2.2.1`	indirecta
crates.io	solana-last-restart-slot	`2.2.1`	indirecta
crates.io	solana-loader-v2-interface	`2.2.1`	indirecta
crates.io	solana-loader-v3-interface	`3.0.0`	indirecta
crates.io	solana-loader-v3-interface	`5.0.0`	indirecta
crates.io	solana-loader-v4-interface	`2.2.1`	indirecta
crates.io	solana-logger	`1.18.26`	indirecta
crates.io	solana-message	`2.4.0`	indirecta
crates.io	solana-msg	`2.2.1`	indirecta
crates.io	solana-native-token	`2.3.0`	indirecta
crates.io	solana-nonce	`2.2.1`	indirecta
crates.io	solana-program	`1.18.26`	indirecta
crates.io	solana-program	`2.2.1`	indirecta
crates.io	solana-program	`2.3.0`	indirecta
crates.io	solana-program-entrypoint	`2.3.0`	indirecta
crates.io	solana-program-error	`2.2.2`	indirecta
crates.io	solana-program-memory	`2.3.1`	indirecta
crates.io	solana-program-option	`2.2.1`	indirecta
crates.io	solana-program-pack	`2.2.1`	indirecta
crates.io	solana-pubkey	`2.4.0`	indirecta
crates.io	solana-rent	`2.2.1`	indirecta
crates.io	solana-sanitize	`2.2.1`	indirecta
crates.io	solana-sdk	`1.18.26`	indirecta
crates.io	solana-sdk-ids	`2.2.1`	indirecta
crates.io	solana-sdk-macro	`1.18.26`	indirecta
crates.io	solana-sdk-macro	`2.2.1`	indirecta
crates.io	solana-secp256k1-recover	`2.2.1`	indirecta
crates.io	solana-security-txt	`1.1.1`	indirecta
crates.io	solana-serde-varint	`2.2.2`	indirecta
crates.io	solana-serialize-utils	`2.2.1`	indirecta
crates.io	solana-sha256-hasher	`2.3.0`	indirecta
crates.io	solana-short-vec	`2.2.1`	indirecta
crates.io	solana-slot-hashes	`2.2.1`	indirecta
crates.io	solana-slot-history	`2.2.1`	indirecta
crates.io	solana-stable-layout	`2.2.1`	indirecta
crates.io	solana-stake-interface	`1.2.1`	indirecta
crates.io	solana-system-interface	`1.0.0`	indirecta
crates.io	solana-sysvar	`2.3.0`	indirecta
crates.io	solana-sysvar-id	`2.2.1`	indirecta
crates.io	solana-transaction-error	`2.2.1`	indirecta
crates.io	solana-vote-interface	`2.2.6`	indirecta
crates.io	solana-zk-token-sdk	`1.18.26`	indirecta
crates.io	soroban-env-guest	`22.1.3`	indirecta
crates.io	soroban-sdk	`—`	indirecta
crates.io	soroban-sdk	`22.0.9`	indirecta
crates.io	spl-discriminator	`0.2.5`	indirecta
crates.io	spl-discriminator-derive	`0.2.0`	indirecta
crates.io	spl-discriminator-syn	`0.2.1`	indirecta
crates.io	spl-memo	`4.0.4`	indirecta
crates.io	spl-pod	`0.2.5`	indirecta
crates.io	spl-program-error	`0.4.4`	indirecta
crates.io	spl-program-error-derive	`0.4.1`	indirecta
crates.io	spl-tlv-account-resolution	`0.6.5`	indirecta
crates.io	spl-token	`4.0.3`	indirecta
crates.io	spl-token	`8.0.0`	indirecta
crates.io	spl-token-2022	`3.0.5`	indirecta
crates.io	spl-token-group-interface	`0.2.5`	indirecta
crates.io	spl-token-metadata-interface	`0.3.5`	indirecta
crates.io	spl-transfer-hook-interface	`0.6.5`	indirecta
crates.io	spl-type-length-value	`0.4.6`	indirecta
crates.io	stable_deref_trait	`1.2.0`	indirecta
crates.io	static_assertions	`1.1.0`	indirecta
crates.io	strsim	`0.10.0`	indirecta
crates.io	strsim	`0.11.1`	indirecta
crates.io	subtle	`2.4.1`	indirecta
crates.io	subtle	`2.6.1`	indirecta
crates.io	syn	`1.0.109`	indirecta
crates.io	syn	`2.0.104`	indirecta
crates.io	syn	`2.0.106`	indirecta
crates.io	syn	`2.0.117`	indirecta
crates.io	syn	`2.0.118`	indirecta
crates.io	syn	`2.0.119`	indirecta
crates.io	syn	`2.0.96`	indirecta
crates.io	tap	`1.0.1`	indirecta
crates.io	termcolor	`1.4.1`	indirecta
crates.io	textwrap	`0.16.2`	indirecta
crates.io	thiserror	`1.0.69`	indirecta
crates.io	thiserror	`2.0.16`	indirecta
crates.io	thiserror	`2.0.18`	indirecta
crates.io	thiserror-impl	`1.0.69`	indirecta
crates.io	thiserror-impl	`2.0.16`	indirecta
crates.io	thiserror-impl	`2.0.18`	indirecta
crates.io	tiny-bip39	`0.8.2`	indirecta
crates.io	tinyvec	`1.10.0`	indirecta
crates.io	tinyvec	`1.11.0`	indirecta
crates.io	tinyvec_macros	`0.1.1`	indirecta
crates.io	toml	`0.5.11`	indirecta
crates.io	toml_datetime	`0.6.11`	indirecta
crates.io	toml_datetime	`0.7.2`	indirecta
crates.io	toml_datetime	`1.1.1+spec-1.1.0`	indirecta
crates.io	toml_edit	`0.19.15`	indirecta
crates.io	toml_edit	`0.22.27`	indirecta
crates.io	toml_edit	`0.23.6`	indirecta
crates.io	toml_edit	`0.25.11+spec-1.1.0`	indirecta
crates.io	toml_parser	`1.0.3`	indirecta
crates.io	toml_parser	`1.1.2+spec-1.1.0`	indirecta
crates.io	twox-hash	`1.6.3`	indirecta
crates.io	typenum	`1.18.0`	indirecta
crates.io	typenum	`1.19.0`	indirecta
crates.io	typenum	`1.20.0`	indirecta
crates.io	uint	`0.9.5`	indirecta
crates.io	unicode-ident	`1.0.14`	indirecta
crates.io	unicode-ident	`1.0.18`	indirecta
crates.io	unicode-ident	`1.0.19`	indirecta
crates.io	unicode-ident	`1.0.24`	indirecta
crates.io	unicode-normalization	`0.1.24`	indirecta
crates.io	unicode-width	`0.1.14`	indirecta
crates.io	universal-hash	`0.4.1`	indirecta
crates.io	uriparse	`0.6.4`	indirecta
crates.io	version_check	`0.9.5`	indirecta
crates.io	wasi	`0.11.1+wasi-snapshot-preview1`	indirecta
crates.io	wasi	`0.14.2+wasi-0.2.4`	indirecta
crates.io	wasi	`0.14.7+wasi-0.2.4`	indirecta
crates.io	wasi	`0.9.0+wasi-snapshot-preview1`	indirecta
crates.io	wasip2	`1.0.1+wasi-0.2.4`	indirecta
crates.io	wasm-bindgen	`0.2.100`	indirecta
crates.io	wasm-bindgen	`0.2.101`	indirecta
crates.io	wasm-bindgen	`0.2.104`	indirecta
crates.io	wasm-bindgen	`0.2.120`	indirecta
crates.io	wasm-bindgen-backend	`0.2.100`	indirecta
crates.io	wasm-bindgen-backend	`0.2.101`	indirecta
crates.io	wasm-bindgen-backend	`0.2.104`	indirecta
crates.io	wasm-bindgen-macro	`0.2.100`	indirecta
crates.io	wasm-bindgen-macro	`0.2.101`	indirecta
crates.io	wasm-bindgen-macro	`0.2.104`	indirecta
crates.io	wasm-bindgen-macro	`0.2.120`	indirecta
crates.io	wasm-bindgen-macro-support	`0.2.100`	indirecta
crates.io	wasm-bindgen-macro-support	`0.2.101`	indirecta
crates.io	wasm-bindgen-macro-support	`0.2.104`	indirecta
crates.io	wasm-bindgen-macro-support	`0.2.120`	indirecta
crates.io	wasm-bindgen-shared	`0.2.100`	indirecta
crates.io	wasm-bindgen-shared	`0.2.101`	indirecta
crates.io	wasm-bindgen-shared	`0.2.104`	indirecta
crates.io	wasm-bindgen-shared	`0.2.120`	indirecta
crates.io	wasmparser	`0.222.0`	indirecta
crates.io	web-sys	`0.3.77`	indirecta
crates.io	web-sys	`0.3.78`	indirecta
crates.io	web-sys	`0.3.81`	indirecta
crates.io	web-sys	`0.3.97`	indirecta
crates.io	winapi	`0.3.9`	indirecta
crates.io	winapi-i686-pc-windows-gnu	`0.4.0`	indirecta
crates.io	winapi-util	`0.1.10`	indirecta
crates.io	winapi-util	`0.1.11`	indirecta
crates.io	winapi-x86_64-pc-windows-gnu	`0.4.0`	indirecta
crates.io	windows-link	`0.1.3`	indirecta
crates.io	windows-link	`0.2.1`	indirecta
crates.io	windows-sys	`0.60.2`	indirecta
crates.io	windows-sys	`0.61.2`	indirecta
crates.io	windows-targets	`0.52.6`	indirecta
crates.io	windows-targets	`0.53.3`	indirecta
crates.io	windows_aarch64_gnullvm	`0.52.6`	indirecta
crates.io	windows_aarch64_gnullvm	`0.53.0`	indirecta
crates.io	windows_aarch64_msvc	`0.52.6`	indirecta
crates.io	windows_aarch64_msvc	`0.53.0`	indirecta
crates.io	windows_i686_gnu	`0.52.6`	indirecta
crates.io	windows_i686_gnu	`0.53.0`	indirecta
crates.io	windows_i686_gnullvm	`0.52.6`	indirecta
crates.io	windows_i686_gnullvm	`0.53.0`	indirecta
crates.io	windows_i686_msvc	`0.52.6`	indirecta
crates.io	windows_i686_msvc	`0.53.0`	indirecta
crates.io	windows_x86_64_gnu	`0.52.6`	indirecta
crates.io	windows_x86_64_gnu	`0.53.0`	indirecta
crates.io	windows_x86_64_gnullvm	`0.52.6`	indirecta
crates.io	windows_x86_64_gnullvm	`0.53.0`	indirecta
crates.io	windows_x86_64_msvc	`0.52.6`	indirecta
crates.io	windows_x86_64_msvc	`0.53.0`	indirecta
crates.io	winnow	`0.5.40`	indirecta
crates.io	winnow	`0.7.12`	indirecta
crates.io	winnow	`0.7.13`	indirecta
crates.io	winnow	`1.0.2`	indirecta
crates.io	wit-bindgen	`0.46.0`	indirecta
crates.io	wit-bindgen-rt	`0.39.0`	indirecta
crates.io	wyz	`0.2.0`	indirecta
crates.io	zerocopy	`0.8.26`	indirecta
crates.io	zerocopy	`0.8.27`	indirecta
crates.io	zerocopy	`0.8.48`	indirecta
crates.io	zerocopy	`0.8.52`	indirecta
crates.io	zerocopy-derive	`0.8.26`	indirecta
crates.io	zerocopy-derive	`0.8.27`	indirecta
crates.io	zerocopy-derive	`0.8.48`	indirecta
crates.io	zerocopy-derive	`0.8.52`	indirecta
crates.io	zeroize	`1.3.0`	indirecta
crates.io	zeroize	`1.8.1`	indirecta
crates.io	zeroize	`1.8.2`	indirecta
crates.io	zeroize_derive	`1.4.2`	indirecta
crates.io	zmij	`1.0.21`	indirecta
PyPI	certora-cli	`—`	indirecta
PyPI	click	`—`	indirecta
PyPI	flake8	`6.0.0`	indirecta
PyPI	jinja2	`—`	indirecta
PyPI	json5	`0.10.0`	indirecta
PyPI	langchain	`0.3.27`	indirecta
PyPI	langchain	`1.2.17`	indirecta
PyPI	langchain-anthropic	`0.3.18`	indirecta
PyPI	langchain-anthropic	`1.4.3`	indirecta
PyPI	langchain-core	`0.3.72`	indirecta
PyPI	langchain-core	`1.3.3`	indirecta
PyPI	langgraph	`0.6.0`	indirecta
PyPI	langgraph	`1.1.10`	indirecta
PyPI	langgraph-checkpoint-sqlite	`3.0.3`	indirecta
PyPI	langgraph-sdk	`0.2.0`	indirecta
PyPI	langgraph-sdk	`0.3.14`	indirecta
PyPI	mypy	`1.7.0`	indirecta
PyPI	pandas-stubs	`—`	indirecta
PyPI	psycopg	`3.2.12`	indirecta
PyPI	psycopg-binary	`3.2.12`	indirecta
PyPI	pycryptodome	`3.21.0`	indirecta
PyPI	requests	`—`	indirecta
PyPI	rich	`—`	indirecta
PyPI	sly	`—`	indirecta
PyPI	strenum	`0.4.15`	indirecta
PyPI	tabulate	`0.9.0`	indirecta
PyPI	tqdm	`—`	indirecta
PyPI	tqdm-stubs	`—`	indirecta
PyPI	twine	`—`	indirecta
PyPI	typing-extensions	`—`	indirecta
PyPI	wcmatch	`—`	indirecta

Avisos de dependencias 36

Este repositorio no publica ningún paquete que el índice resuelva, así que se evaluó su propio grafo de dependencias — 598 paquetes, que incluyen también fijaciones de desarrollo y prueba que nunca se distribuyen: 36 tienen avisos conocidos, de los cuales 4 son directas. 14 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
langchain-core	`0.3.72`	indirecta	crítica	12	`1.3.3`
langchain	`0.3.27`	indirecta	alta	4	`1.4.6`
langgraph	`0.6.0`	indirecta	alta	2	`1.0.10rc1`
langgraph-sdk	`0.2.0`	indirecta	alta	4	`0.4.4`
langgraph-sdk	`0.3.14`	indirecta	alta	4	`0.4.4`
ruzstd	`0.7.3`	indirecta	alta	1	`0.9.1`
borsh	`0.10.4`	indirecta	moderada	1	`1.0.0-alpha.1`
borsh	`0.9.3`	indirecta	moderada	2	`1.0.0-alpha.1`
cmov	`0.5.3`	indirecta	moderada	1	`0.5.4`
ed25519-dalek	`1.0.1`	indirecta	moderada	2	`2.0.0`
langchain	`1.2.17`	indirecta	moderada	2	`1.4.6`
langchain-anthropic	`0.3.18`	indirecta	moderada	2	`1.4.6`
langchain-anthropic	`1.4.3`	indirecta	moderada	2	`1.4.6`
langgraph-checkpoint-sqlite	`3.0.3`	indirecta	moderada	2	`3.1.1`
serde_with	`2.3.3`	indirecta	moderada	1	`3.21.0`
soroban-sdk	`22.0.9`	indirecta	moderada	1	`25.3.0`
rand	`0.7.3`	directa	baja	2	`0.10.1`
rand	`0.8.5`	directa	baja	2	`0.10.1`
atty	`0.2.14`	indirecta	baja	3	—
curve25519-dalek	`3.2.1`	indirecta	baja	2	`4.1.3`
keccak	`0.1.5`	indirecta	baja	2	`0.1.6`
memmap2	`0.5.10`	directa	desconocida	1	`0.9.11`
memmap2	`0.9.5`	directa	desconocida	1	`0.9.11`
anyhow	`1.0.100`	indirecta	desconocida	1	`1.0.103`
anyhow	`1.0.99`	indirecta	desconocida	1	`1.0.103`
bincode	`1.3.3`	indirecta	desconocida	1	—
bitmaps	`2.1.0`	indirecta	desconocida	1	—
crossbeam-epoch	`0.9.18`	indirecta	desconocida	1	`0.9.20`
derivative	`2.2.0`	indirecta	desconocida	1	—
fxhash	`0.2.1`	indirecta	desconocida	1	—
im	`15.1.0`	indirecta	desconocida	2	—
instant	`0.1.13`	indirecta	desconocida	1	—
libsecp256k1	`0.6.0`	indirecta	desconocida	1	—
paste	`1.0.15`	indirecta	desconocida	1	—
proc-macro-error	`1.0.4`	indirecta	desconocida	1	—
sized-chunks	`0.6.5`	indirecta	desconocida	2	—

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.

Índice de salud del software

Perfil de puntuación

Titularidad

Métricas por categoría

Datos clave

Advertencias de recopilación de datos

Más detalle

Comentarios

Registros relacionados