Registro público
Informe de salud del softwareesquema 0.34.0 · métricas 2.10.0 · 2026-08-22 18:24 UTC

verus-lang / verus

Verified Rust for low-level systems code

RustMIT★ 2883 estrellas⑂ 208 forksdesde oct 2021Ver en GitHub ↗
TipoBibliotecaHerramienta de línea de comandoscómo se determina

verus-lang/verus tiene un índice de salud de 91 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, Security (55/100). Se actualizó por última vez hoy. 2 personas concentran la mayor parte del trabajo reciente.

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

91
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)
VitalidadComunidad yAdopciónSostenibilidady GobernanzaCalidad deIngenieríaSeguridadPreparaciónpara IA

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

Titularidad

verus-langOrganización
75 seguidores16 repositorios públicosdesde jun 2022

Este repositorio está respaldado por una organización: una custodia compartida y responsable que puede sobrevivir a cualquier mantenedor individual.

Ecosistemas de paquetes

RegistroPaqueteVersiónDescargas / mesVersionesÚltima publicaciónEtiquetas
crates.ioairapunta a otro repositorio; no se puntúa1.0.219511hace 143 días—
crates.iovir0.0.021hace 1633 días—
crates.iovstd0.0.0-2026-08-09-004441.24739hace 13 díasverificationverified-rustverusdevelopment-tools
crates.ioverus0.0.0501hace 891 díasverified-rustverusdevelopment-tools
crates.ioverus_builtin0.0.0-2026-08-09-004439.81321hace 13 díasverificationverified-rustverusdevelopment-tools

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/36Recencia de push — último push hace 0 días
36/36Cadencia de commits — 52/52 semanas con commits
18/18Volumen de commits — 936 commits en el último año
10/10OpenSSF Scorecard: Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
Datos de entrada utilizados
commits_last_year936
human_commit_share1
days_since_last_push0
active_weeks_last_year52

Disciplina de publicación

90Excelente
Cómo se puntúa
27/27Publica versiones — 81 versiones publicadas
36/36Recencia de las versiones — última versión hace 1 días
27/27Cadencia de publicación — una versión cada ~6,7 días
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Datos de entrada utilizados
releases_count81
latest_release_tagrelease/rolling/0.2026.08.21.11eda20
releases_from_tagsno
days_since_latest_release1
mean_days_between_releases6,7

Comunidad y Adopción

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

81Excelente · 17% del índice global

Popularidad y adopción

84Excelente
Cómo se puntúa
56.1/60Estrellas — 2883 estrellas
19.3/25Forks — 208 forks
8.3/15Observadores — 32 observadores
Datos de entrada utilizados
forks208
stars2883
watchers32
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Salud de la comunidad

77Bueno
Cómo se puntúa
22.5/22.5README
22.5/22.5Licencia — licencia reconocida (MIT)
18/18Guía CONTRIBUTING
0/13.5Código de conducta
0/7.2Plantilla de issues
6.3/6.3Plantilla de PR
Datos de entrada utilizados
has_readmesí
has_licensesí
readme_badges4
has_contributingsí
has_issue_templateno
has_code_of_conductno
readme_badge_servicesshields.io
has_pull_request_templatesí

Adopción en el ecosistema (descargas)

82Excelente
Cómo se puntúa
65.5/80Descargas mensuales — 81.110 descargas/mes en crates
0/20Dependientes en el registro — no lo informa este ecosistema
Datos de entrada utilizados
packagesvstd, verus, verus_builtin
dependents—
ecosystemscrates
total_downloads373.397
monthly_downloads81.110
unverified_packages_excludedvir
Excluidos de la puntuación (sin datos o no aplicable): Dependientes en el registro. Los pesos restantes se han renormalizado.

Sostenibilidad y Gobernanza

¿Sobrevivirá el proyecto a sus personas: factor bus, capacidad de respuesta, quién lo respalda y mantenimiento del paquete?

75Bueno · 23% del índice global

Resiliencia de mantenedores (factor bus)

65Bueno
Cómo se puntúa
25.2/54Factor bus — la mitad de los commits recae en 2 contribuyente(s)
16.4/22.5Distribución de commits — el principal contribuyente firma el 27% de los commits
13.5/13.5Amplitud de contribuyentes — 99 contribuyentes
10/10OpenSSF Scorecard: Contributors — project has 34 contributing companies or organizations
Datos de entrada utilizados
bus_factor2
contributors_sampled99
top_contributor_share0,269

Capacidad de respuesta a issues y PR

82Excelente
Cómo se puntúa
32.7/42Resolución de issues — 78% de issues cerradas
27.4/30Aceptación de PR — 1527/1674 PR decididos fusionados
11.1/13Newcomer PR acceptance — 6/7 PR de contribuyentes primerizos fusionados en 30 d
10.5/15OpenSSF Scorecard: Code-Review — Found 21/30 approved changesets -- score normalized to 7
Datos de entrada utilizados
merged_prs1527
open_issues198
closed_issues692
prs_merged_7d17
prs_decided_7d18
prs_merged_30d57
prs_decided_30d60
issue_closed_ratio0,778
closed_unmerged_prs147
first_time_authors_30d5
first_time_prs_merged_30d6
first_time_prs_decided_30d7

Propiedad y custodia

61Moderado
Cómo se puntúa
30/30Respaldo de la propiedad — propiedad de una organización
0/20Dominio verificado
13.5/25Alcance del propietario — 75 seguidores de verus-lang
17.4/25Trayectoria — 16 repos públicos, cuenta de ~4 años
Datos de entrada utilizados
followers75
owner_typeOrganization
is_verifiedno
owner_loginverus-lang
public_repos16
account_age_days1536

Mantenimiento de paquetes

100Excepcional
Cómo se puntúa
25/25Publicado y resoluble — 4 paquete(s) en crates
35/35Recencia de publicación — última publicación hace 13 días
20/20Historial de versiones — 39 versiones en el registro
20/20No obsoleto — activo, ni obsoleto ni retirado
Datos de entrada utilizados
packagesvir, vstd, verus, verus_builtin
ecosystemscrates
any_deprecatedno
min_days_since_publish13

Calidad de Ingeniería

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

72Bueno · 19% del índice global

Prácticas de ingeniería

84Excelente
Cómo se puntúa
24/24Flujos de trabajo de CI — 8 flujo(s) de trabajo
24/24Pruebas presentes
16/16Configuración de linter — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
0/9.6Hooks de pre-commit
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
Datos de entrada utilizados
has_cisí
has_testssí
has_editorconfigno
has_linter_configsí
has_precommit_configno

Documentación

55Moderado
Cómo se puntúa
30/30README
0/25Directorio de documentación
15/15Sitio de documentación / página del proyecto — https://verus-lang.github.io/verus/verusdoc/vstd/
10/10Descripción del repositorio
0/10Topics
0/10Wiki
Datos de entrada utilizados
topics—
has_wikino
homepage—
docs_sitehttps://verus-lang.github.io/verus/verusdoc/vstd/
has_readmesí
has_docs_dirno
has_descriptionsí

Seguridad

¿Son sólidas las prácticas visibles de seguridad y de cadena de suministro, sin exposición jurisdiccional de alto riesgo sin resolver?

55Moderado · 16% del índice global

Postura de seguridad

48Débil
Cómo se puntúa
6.8/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — sin datos
2.5/2.5CI-Tests — 30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
5.2/7.5Code-Review — Found 21/30 approved changesets -- score normalized to 7
2.5/2.5Contributors — project has 34 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
5/5Fuzzing — project is fuzzed
2.5/2.5Licencia — license file detected
7.5/7.5Maintained — 30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
5/5Packaging — packaging workflow detected
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — SAST tool is not run on all commits -- score normalized to 0
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — Project has not signed or included provenance with any releases.
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
0/7.5Vulnerabilities — 25 existing vulnerabilities detected
Datos de entrada utilizados
sourceopenssf_scorecard
checks_evaluated17
scorecard_versionv5.5.0
checks_inconclusive1
scorecard_aggregate4,8
Excluidos de la puntuación (sin datos o no aplicable): Branch-Protection. Los pesos restantes se han renormalizado.

Avisos de dependencias

81Excelente
Cómo se puntúa
24.2/35Dependencias directas libres de avisos conocidos — 3 afectados: rand 0.7.3 (low), anyhow 1.0.100 (unknown), im 15.1.0 (unknown)
0/25Dependencias indirectas libres de avisos conocidos — el conjunto transitivo no es separable de las dependencias de desarrollo y prueba en este alcance
36.4/40Sin avisos pendientes — 2 paquete(s) con avisos sin atender más allá de 90 días; el más antiguo publicado hace 1295 días
Datos de entrada utilizados
sourceosv
advisories26
affected_packages15
assessed_packages452
unassessed_packages19
affected_by_severityhigh 5, low 1, unknown 9
direct_affected_packages3
Excluidos de la puntuación (sin datos o no aplicable): Dependencias indirectas libres de avisos conocidos. Los pesos restantes se han renormalizado. Se cotejaron 452 dependencias resueltas con OSV. 19 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.

72Bueno · 4% del índice global

Contexto y guía para agentes

40Débil
Cómo se puntúa
0/45Instrucciones para agentes — sin CLAUDE.md / AGENTS.md / reglas de editor
0/15Documentación legible por máquinas (llms.txt)
40/40Historial de commits legible — 89 de 100 commits humanos declaran su intención (asunto estructurado o cuerpo explicativo)
Datos de entrada utilizados
has_llms_txtno
llms_txt_url—
legible_history_share0,89
agent_instruction_files—
agent_instruction_max_bytes—

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

76Bueno
Cómo se puntúa
18/18Arranque con un solo comando — source/docs/publications-and-projects/Makefile
22/22Pruebas automatizadas
11/11Configuración de lint / formato — dependencies/prettyplease/Cargo.toml ([lints]), dependencies/syn/Cargo.toml ([lints]), rustfmt.toml, source/Cargo.toml ([workspace.lints]), source/air/Cargo.toml ([lints]), source/builtin/Cargo.toml ([lints]), source/builtin_macros/Cargo.toml ([lints]), source/cargo-verus-toolchains/Cargo.toml ([lints]), source/cargo-verus/Cargo.toml ([lints]), source/rust_verify/Cargo.toml ([lints]), source/rust_verify_test/Cargo.toml ([lints]), source/rust_verify_test_macros/Cargo.toml ([lints]), source/rustc_mir_build/Cargo.toml ([lints]), source/state_machines_macros/Cargo.toml ([lints]), source/verus/Cargo.toml ([lints]), source/verusdoc/Cargo.toml ([lints]), source/vir/Cargo.toml ([lints]), source/vir_macros/Cargo.toml ([lints]), source/vstd/Cargo.toml ([lints]), source/vstd_build/Cargo.toml ([lints])
11/11Verificación estática de tipos — Rust (tipado estático)
10/10Entorno reproducible — Nix, lockfile
4/10Práctica demostrada con agentes — 2 de los últimos 100 commits con autoría o crédito de agente
0/8Mantenimiento automatizado — no se observan actualizaciones automáticas de dependencias
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Datos de entrada utilizados
has_nixsí
has_testssí
lockfilesCargo.lock, Gemfile.lock
has_dockerfileno
typed_languagesí
bootstrap_filessource/docs/publications-and-projects/Makefile
has_devcontainerno
has_linter_configsí
typecheck_configs—
agent_commit_share0,02
toolchain_manifestsdependencies/prettyplease/Cargo.toml, dependencies/prettyplease/cargo-expand/update/Cargo.toml, dependencies/prettyplease/examples/update/Cargo.toml, dependencies/prettyplease/fuzz/Cargo.toml, dependencies/syn/Cargo.toml, dependencies/syn/codegen/Cargo.toml, dependencies/syn/dev/Cargo.toml, dependencies/syn/examples/dump-syntax/Cargo.toml, dependencies/syn/examples/heapsize/example/Cargo.toml, dependencies/syn/examples/heapsize/heapsize/Cargo.toml, dependencies/syn/examples/heapsize/heapsize_derive/Cargo.toml, dependencies/syn/examples/lazy-static/example/Cargo.toml, dependencies/syn/examples/lazy-static/lazy-static/Cargo.toml, dependencies/syn/examples/trace-var/example/Cargo.toml, dependencies/syn/examples/trace-var/trace-var/Cargo.toml, dependencies/syn/fuzz/Cargo.toml, dependencies/syn/json/Cargo.toml, dependencies/syn/tests/features/Cargo.toml, source/Cargo.toml, source/air/Cargo.toml, source/builtin/Cargo.toml, source/builtin_macros/Cargo.toml, source/cargo-verus-toolchains/Cargo.toml, source/cargo-verus/Cargo.toml, source/rust_verify/Cargo.toml, source/rust_verify_test/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_machines/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/consume_vstd/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/unverified/structural/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/basic_verified_lib_consumer_verified/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/big_rlimit/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/lib_with_bin/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_def2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/spec_use/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/state_machine_macro_usage/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive1/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive2/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/transitive3/Cargo.toml, source/rust_verify_test/tests/cargo-tests/verified/vstd_macro_usage/Cargo.toml, source/rust_verify_test_macros/Cargo.toml, source/rustc_mir_build/Cargo.toml, source/state_machines_macros/Cargo.toml, source/tools/bump_crate_versions/Cargo.toml, source/tools/internals_interface/Cargo.toml, source/tools/line_count/Cargo.toml, source/verus/Cargo.toml, source/verusdoc/Cargo.toml, source/vir/Cargo.toml, source/vir_macros/Cargo.toml, source/vstd/Cargo.toml, source/vstd_build/Cargo.toml, tools/vargo/Cargo.toml, tools/verita/Cargo.toml
dependency_bot_commit_share0

Legibilidad del código para modelos

97Excepcional
Cómo se puntúa
45/45Código verificable por tipos — Rust (tipado estático)
51.6/55Tamaños de archivo manejables — 56/915 archivos fuente de más de 60 KB
Datos de entrada utilizados
primary_languageRust
largest_source_bytes1.671.171
source_files_sampled915
oversized_source_files56

Interfaces legibles por máquina

100Excepcional
Cómo se puntúa
0/40Esquema de API (OpenAPI/GraphQL/proto) — no aplicable a este tipo de software
0/20Servidor MCP — no aplicable a este tipo de software
40/40Ejemplos ejecutables — example, examples
Datos de entrada utilizados
example_dirsexample, examples
has_mcp_signalno
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

2883estrellas de GitHub
99contribuidores
936commits en los últimos 12 meses
0días desde el último push
81versiones publicadas
2factor bus
198issues abiertas
crates.ioecosistemas de paquetes

Advertencias de recopilación de datos

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • First-time contributor figures cover 12 of 17 authors (cap 12)
  • crates package 'air' points at a different repository (https://github.com/ramp-stack/air.git); excluded from ecosystem scoring
  • Could not fetch crates package 'vargo' from its registry
  • Could not fetch crates package 'verita' from its registry
  • Could not fetch crates package 'verusdoc' from its registry

Más detalle

Historial de estrellas y forks 0 ★ / 208 ⇿
0Estrellas
208Forks
81Versiones

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.

0408012016020024020552021-112024-042026-08
Mayor 0Menor 0Parche 0

Cada punto abarca 5 días.

OpenSSF Scorecard 4.8 / 10
4.8agregado

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-22 18:23 UTC

9Binary-Artifactsbinaries present in source code
n/dBranch-Protectioninternal error: error during branchesHandler.setup: internal error: some github tokens can't read classic branch protection rules: https://github.com/ossf/scorecard-action/blob/main/docs/authentication/fine-grained-auth-token.md
10CI-Tests30 out of 30 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
7Code-ReviewFound 21/30 approved changesets -- score normalized to 7
10Contributorsproject has 34 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
10Fuzzingproject is fuzzed
10Licenselicense file detected
10Maintained30 commit(s) and 27 issue activity found in the last 90 days -- score normalized to 10
10Packagingpackaging workflow detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
0Security-Policysecurity policy file not detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
0Vulnerabilities25 existing vulnerabilities detected
Dependencias directas 121
RegistroPaqueteRestricción de versiónManifiesto
crates.ioproc-macro21.0.80dependencies/prettyplease/Cargo.toml
crates.ioverus_syn=0.0.0-2026-08-02-0125dependencies/prettyplease/Cargo.toml
crates.ioproc-macro21.0.101dependencies/syn/Cargo.toml
crates.ioquote1.0.35dependencies/syn/Cargo.toml
crates.iounicode-ident1dependencies/syn/Cargo.toml
crates.iosise—source/air/Cargo.toml
crates.iogetopts—source/air/Cargo.toml
crates.iosmt-scope—source/air/Cargo.toml
crates.iopetgraph—source/air/Cargo.toml
crates.ioserde—source/air/Cargo.toml
crates.ioindexmap—source/air/Cargo.toml
crates.ioyansi—source/air/Cargo.toml
crates.ioconvert_case—source/builtin_macros/Cargo.toml
crates.ioproc-macro2—source/builtin_macros/Cargo.toml
crates.ioquote—source/builtin_macros/Cargo.toml
crates.iosynstructure—source/builtin_macros/Cargo.toml
crates.iosyn—source/builtin_macros/Cargo.toml
crates.ioverus_syn—source/builtin_macros/Cargo.toml
crates.ioverus_prettyplease—source/builtin_macros/Cargo.toml
crates.ioanyhow—source/cargo-verus-toolchains/Cargo.toml
crates.ioclap—source/cargo-verus-toolchains/Cargo.toml
crates.ioitertools—source/cargo-verus-toolchains/Cargo.toml
crates.ioregex—source/cargo-verus-toolchains/Cargo.toml
crates.ioserde—source/cargo-verus-toolchains/Cargo.toml
crates.iotoml—source/cargo-verus-toolchains/Cargo.toml
crates.iotoml_edit—source/cargo-verus-toolchains/Cargo.toml
crates.ioanyhow—source/cargo-verus/Cargo.toml
crates.iocargo_metadata—source/cargo-verus/Cargo.toml
crates.iocargo-verus-toolchains—source/cargo-verus/Cargo.toml
crates.ioclap-cargo—source/cargo-verus/Cargo.toml
crates.ioclap—source/cargo-verus/Cargo.toml
crates.iocolored—source/cargo-verus/Cargo.toml
crates.iohex—source/cargo-verus/Cargo.toml
crates.iorustc_tools_util—source/cargo-verus/Cargo.toml
crates.ioserde_json—source/cargo-verus/Cargo.toml
crates.ioserde—source/cargo-verus/Cargo.toml
crates.iosha2—source/cargo-verus/Cargo.toml
crates.iotempfile—source/cargo-verus/Cargo.toml
crates.ioair—source/rust_verify/Cargo.toml
crates.iobincode-next—source/rust_verify/Cargo.toml
crates.iocargo-verus-toolchains—source/rust_verify/Cargo.toml
crates.ioconsole—source/rust_verify/Cargo.toml
crates.iogetopts—source/rust_verify/Cargo.toml
crates.iohex—source/rust_verify/Cargo.toml
crates.ioindexmap—source/rust_verify/Cargo.toml
crates.ioindicatif—source/rust_verify/Cargo.toml
crates.iointernals_interface—source/rust_verify/Cargo.toml
crates.ionum-bigint—source/rust_verify/Cargo.toml
crates.ionum-format—source/rust_verify/Cargo.toml
crates.ioregex—source/rust_verify/Cargo.toml
crates.iorustc_mir_build_verus—source/rust_verify/Cargo.toml
crates.ioserde_json—source/rust_verify/Cargo.toml
crates.ioserde—source/rust_verify/Cargo.toml
crates.iosha2—source/rust_verify/Cargo.toml
crates.iosise—source/rust_verify/Cargo.toml
crates.iovir—source/rust_verify/Cargo.toml
crates.ioair—source/rust_verify_test/Cargo.toml
crates.iovir—source/rust_verify_test/Cargo.toml
crates.ioquote—source/rust_verify_test_macros/Cargo.toml
crates.iosyn—source/rust_verify_test_macros/Cargo.toml
crates.ioproc-macro2—source/rust_verify_test_macros/Cargo.toml
crates.ioitertools0.12source/rustc_mir_build/Cargo.toml
crates.iotracing0.1source/rustc_mir_build/Cargo.toml
crates.ioverus_syn—source/state_machines_macros/Cargo.toml
crates.ioquote—source/state_machines_macros/Cargo.toml
crates.ioproc-macro2—source/state_machines_macros/Cargo.toml
crates.ioindexmap—source/state_machines_macros/Cargo.toml
crates.iocargo-verus-toolchains—source/verus/Cargo.toml
crates.iochrono—source/verus/Cargo.toml
crates.ioregex—source/verus/Cargo.toml
crates.ioserde_json—source/verus/Cargo.toml
crates.iotoml—source/verus/Cargo.toml
crates.ioyansi—source/verus/Cargo.toml
crates.iozip—source/verus/Cargo.toml
crates.iogit2—source/verus/Cargo.toml
crates.iois-terminal—source/verus/Cargo.toml
crates.iorand—source/verus/Cargo.toml
crates.iowalkdir—source/verusdoc/Cargo.toml
crates.iokuchikiki—source/verusdoc/Cargo.toml
crates.ioserde_json—source/verusdoc/Cargo.toml
crates.ioserde—source/verusdoc/Cargo.toml
crates.iohtml5ever—source/verusdoc/Cargo.toml
crates.ioair—source/vir/Cargo.toml
crates.ioim—source/vir/Cargo.toml
crates.ioindexmap—source/vir/Cargo.toml
crates.ionum-bigint—source/vir/Cargo.toml
crates.ionum-traits—source/vir/Cargo.toml
crates.ioserde—source/vir/Cargo.toml
crates.iosha2—source/vir/Cargo.toml
crates.iosise—source/vir/Cargo.toml
crates.iovir-macros—source/vir/Cargo.toml
crates.iosynstructure—source/vir_macros/Cargo.toml
crates.ioproc-macro2—source/vir_macros/Cargo.toml
crates.iosyn—source/vir_macros/Cargo.toml
crates.ioverus_builtin_macros=0.0.0-2026-08-09-0044source/vstd/Cargo.toml
crates.ioverus_builtin=0.0.0-2026-08-09-0044source/vstd/Cargo.toml
crates.ioverus_state_machines_macros=0.0.0-2026-08-02-0125source/vstd/Cargo.toml
crates.ioyansi—source/vstd_build/Cargo.toml
crates.ioanyhow1tools/vargo/Cargo.toml
crates.ioclap4.5tools/vargo/Cargo.toml
crates.iofiletime0.2.26tools/vargo/Cargo.toml
crates.ioregex1tools/vargo/Cargo.toml
crates.ioserde_json1tools/vargo/Cargo.toml
crates.ioserde1tools/vargo/Cargo.toml
crates.iotoml0.9tools/vargo/Cargo.toml
crates.iowalkdir2.5tools/vargo/Cargo.toml
crates.ioyansi1.0tools/vargo/Cargo.toml
crates.ioanyhow1.0.83tools/verita/Cargo.toml
crates.iodunce1tools/verita/Cargo.toml
crates.iochrono0.4.38tools/verita/Cargo.toml
crates.ioclap4.3.11tools/verita/Cargo.toml
crates.iogit20.18.3tools/verita/Cargo.toml
crates.ioregex1.10.4tools/verita/Cargo.toml
crates.ioserde1.0tools/verita/Cargo.toml
crates.ioserde_json1.0.117tools/verita/Cargo.toml
crates.iotempdir0.3.7tools/verita/Cargo.toml
crates.iotoml0.8.13tools/verita/Cargo.toml
crates.iotoml_edit0.22tools/verita/Cargo.toml
crates.iotracing0.1.37tools/verita/Cargo.toml
crates.iotracing-subscriber0.3.17tools/verita/Cargo.toml
crates.ioxshell0.2.6tools/verita/Cargo.toml
Todas las dependencias 471

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

RegistroPaqueteVersiónRelación
crates.ioanyhow—directa
crates.ioanyhow1.0.100directa
crates.ioanyhow1.0.104directa
crates.iobincode-next3.1.1directa
crates.iocargo_metadata0.23.1directa
crates.iochrono—directa
crates.iochrono0.4.45directa
crates.ioclap—directa
crates.ioclap4.5.53directa
crates.ioclap4.6.4directa
crates.ioclap-cargo0.18.3directa
crates.iocolored3.1.1directa
crates.ioconsole0.16.4directa
crates.ioconvert_case0.4.0directa
crates.iodunce—directa
crates.iofiletime0.2.26directa
crates.iogetopts0.2.21directa
crates.iogit2—directa
crates.iogit20.21.0directa
crates.iohex0.4.3directa
crates.iohtml5ever0.26.0directa
crates.ioim15.1.0directa
crates.ioindexmap1.9.3directa
crates.ioindexmap2.12.1directa
crates.ioindexmap2.14.0directa
crates.ioindicatif0.18.6directa
crates.iois-terminal0.4.17directa
crates.ioitertools—directa
crates.ioitertools0.12.1directa
crates.ioitertools0.15.0directa
crates.iokuchikiki0.8.2directa
crates.ionum-bigint0.4.8directa
crates.ionum-bigint0.5.1directa
crates.ionum-format0.4.4directa
crates.ionum-traits0.2.19directa
crates.iopetgraph—directa
crates.iopetgraph0.6.5directa
crates.iopetgraph0.8.3directa
crates.ioproc-macro21.0.104directa
crates.ioproc-macro21.0.107directa
crates.ioquote1.0.42directa
crates.ioquote1.0.47directa
crates.iorand0.10.2directa
crates.iorand0.7.3directa
crates.iorand0.8.7directa
crates.ioregex—directa
crates.ioregex1.12.2directa
crates.ioregex1.13.1directa
crates.iorustc_tools_util0.4.2directa
crates.ioserde—directa
crates.ioserde1.0.228directa
crates.ioserde1.0.229directa
crates.ioserde_json—directa
crates.ioserde_json1.0.148directa
crates.ioserde_json1.0.151directa
crates.iosha20.11.0directa
crates.iosise0.8.0directa
crates.iosmt-scope0.1.7directa
crates.iosyn1.0.109directa
crates.iosyn2.0.112directa
crates.iosyn2.0.119directa
crates.iosyn3.0.3directa
crates.iosynstructure0.13.2directa
crates.iotempdir—directa
crates.iotempfile—directa
crates.iotempfile3.27.0directa
crates.iotoml—directa
crates.iotoml0.9.10+spec-1.1.0directa
crates.iotoml1.1.4+spec-1.1.0directa
crates.iotoml_edit—directa
crates.iotoml_edit0.23.10+spec-1.0.0directa
crates.iotracing—directa
crates.iotracing0.1.44directa
crates.iotracing-subscriber—directa
crates.iounicode-ident1.0.22directa
crates.iounicode-ident1.0.24directa
crates.ioverus_builtin0.0.0-2026-08-09-0044directa
crates.ioverus_builtin_macros0.0.0-2026-08-09-0044directa
crates.ioverus_state_machines_macros0.0.0-2026-08-02-0125directa
crates.iowalkdir2.5.0directa
crates.ioxshell—directa
crates.ioyansi1.0.1directa
crates.iozip8.6.0directa
crates.ioadler22.0.1indirecta
crates.ioaes0.9.2indirecta
crates.ioahash0.8.12indirecta
crates.ioaho-corasick1.1.4indirecta
crates.ioallocator-api20.2.21indirecta
crates.ioandroid_system_properties0.1.5indirecta
crates.ioanstream0.6.21indirecta
crates.ioanstream1.0.0indirecta
crates.ioanstyle1.0.13indirecta
crates.ioanstyle1.0.14indirecta
crates.ioanstyle-parse0.2.7indirecta
crates.ioanstyle-parse1.0.0indirecta
crates.ioanstyle-query1.1.5indirecta
crates.ioanstyle-wincon3.0.11indirecta
crates.ioarrayvec0.7.8indirecta
crates.ioatomic-waker1.1.2indirecta
crates.ioautocfg1.5.1indirecta
crates.iobase640.22.1indirecta
crates.iobincode2.0.1indirecta
crates.iobincode_derive-next3.1.1indirecta
crates.iobitflags1.3.2indirecta
crates.iobitflags2.10.0indirecta
crates.iobitflags2.13.1indirecta
crates.iobitmaps2.1.0indirecta
crates.iobitmask-enum2.2.5indirecta
crates.ioblock-buffer0.12.1indirecta
crates.iobumpalo3.20.3indirecta
crates.iobytecount0.6.9indirecta
crates.iobyteorder1.5.0indirecta
crates.iobytes1.12.1indirecta
crates.iobzip20.6.1indirecta
crates.iocamino1.2.5indirecta
crates.iocargo-platform0.3.3indirecta
crates.iocc1.4.0indirecta
crates.iocfg-if1.0.4indirecta
crates.iochacha200.10.1indirecta
crates.iocipher0.5.2indirecta
crates.ioclap_builder4.5.53indirecta
crates.ioclap_builder4.6.2indirecta
crates.ioclap_derive4.5.49indirecta
crates.ioclap_derive4.6.4indirecta
crates.ioclap_lex0.7.6indirecta
crates.ioclap_lex1.1.0indirecta
crates.iocmov0.5.4indirecta
crates.iocolorchoice1.0.4indirecta
crates.iocolorchoice1.0.5indirecta
crates.ioconst-oid0.10.2indirecta
crates.ioconstant_time_eq0.4.2indirecta
crates.iocore-foundation0.10.1indirecta
crates.iocore-foundation-sys0.8.7indirecta
crates.iocpubits0.1.1indirecta
crates.iocpufeatures0.3.0indirecta
crates.iocrates_io_api0.12.0indirecta
crates.iocrc32fast1.5.0indirecta
crates.iocrypto-common0.2.2indirecta
crates.iocssparser0.27.2indirecta
crates.iocssparser-macros0.6.1indirecta
crates.ioctutils0.4.2indirecta
crates.iodeflate640.1.12indirecta
crates.ioderanged0.5.8indirecta
crates.ioderive_more0.99.20indirecta
crates.iodiff0.1.13indirecta
crates.iodigest0.11.3indirecta
crates.iodisplaydoc0.2.7indirecta
crates.iodtoa1.0.11indirecta
crates.iodtoa-short0.3.5indirecta
crates.ioduplicate1.0.0indirecta
crates.ioeither1.17.0indirecta
crates.ioencode_unicode1.0.0indirecta
crates.ioequivalent1.0.2indirecta
crates.ioerrno0.3.14indirecta
crates.iofastrand2.5.0indirecta
crates.iofind-msvc-tools0.1.9indirecta
crates.iofixedbitset0.4.2indirecta
crates.iofixedbitset0.5.7indirecta
crates.ioflate21.1.9indirecta
crates.iofnv1.0.7indirecta
crates.iofoldhash0.1.5indirecta
crates.ioforeign-types0.3.2indirecta
crates.ioforeign-types-shared0.1.1indirecta
crates.ioform_urlencoded1.2.2indirecta
crates.iofutf0.1.5indirecta
crates.iofutures0.3.33indirecta
crates.iofutures-channel0.3.33indirecta
crates.iofutures-core0.3.33indirecta
crates.iofutures-executor0.3.33indirecta
crates.iofutures-io0.3.33indirecta
crates.iofutures-macro0.3.33indirecta
crates.iofutures-sink0.3.33indirecta
crates.iofutures-task0.3.33indirecta
crates.iofutures-util0.3.33indirecta
crates.iofxhash0.2.1indirecta
crates.iogetrandom0.1.16indirecta
crates.iogetrandom0.2.17indirecta
crates.iogetrandom0.4.3indirecta
crates.iohashbrown0.12.3indirecta
crates.iohashbrown0.14.5indirecta
crates.iohashbrown0.15.5indirecta
crates.iohashbrown0.16.1indirecta
crates.iohashbrown0.17.1indirecta
crates.ioheck0.4.1indirecta
crates.ioheck0.5.0indirecta
crates.iohermit-abi0.5.2indirecta
crates.iohmac0.13.0indirecta
crates.iohttp1.5.0indirecta
crates.iohttp-body1.1.0indirecta
crates.iohttp-body-util0.1.4indirecta
crates.iohttparse1.10.1indirecta
crates.iohybrid-array0.4.14indirecta
crates.iohyper1.11.0indirecta
crates.iohyper-tls0.6.0indirecta
crates.iohyper-util0.1.20indirecta
crates.ioiana-time-zone0.1.65indirecta
crates.ioiana-time-zone-haiku0.1.2indirecta
crates.ioicu_collections2.2.0indirecta
crates.ioicu_locale_core2.2.0indirecta
crates.ioicu_normalizer2.2.0indirecta
crates.ioicu_normalizer_data2.2.0indirecta
crates.ioicu_properties2.2.0indirecta
crates.ioicu_properties_data2.2.0indirecta
crates.ioicu_provider2.2.0indirecta
crates.ioidna1.1.0indirecta
crates.ioidna_adapter1.2.2indirecta
crates.ioindoc2.0.7indirecta
crates.ioinout0.2.2indirecta
crates.ioinsta1.48.0indirecta
crates.ioinstant0.1.13indirecta
crates.ioipnet2.12.0indirecta
crates.iois_terminal_polyfill1.70.2indirecta
crates.ioitoa0.4.8indirecta
crates.ioitoa1.0.17indirecta
crates.ioitoa1.0.18indirecta
crates.iojobserver0.1.35indirecta
crates.iojs-sys0.3.103indirecta
crates.iolasso0.7.3indirecta
crates.iolibbz2-rs-sys0.2.5indirecta
crates.iolibc0.2.178indirecta
crates.iolibc0.2.189indirecta
crates.iolibgit2-sys0.18.7+1.9.6indirecta
crates.iolibredox0.1.12indirecta
crates.iolibz-sys1.1.29indirecta
crates.iolinux-raw-sys0.12.1indirecta
crates.iolitemap0.8.2indirecta
crates.iolock_api0.4.14indirecta
crates.iolog0.4.33indirecta
crates.iolzma-rust20.16.5indirecta
crates.iomac0.1.1indirecta
crates.iomarkup5ever0.11.0indirecta
crates.iomatches0.1.10indirecta
crates.iomemchr2.7.6indirecta
crates.iomemchr2.8.3indirecta
crates.iominiz_oxide0.8.9indirecta
crates.iomio1.2.2indirecta
crates.ionative-tls0.2.18indirecta
crates.ionew_debug_unreachable1.0.6indirecta
crates.ionodrop0.1.14indirecta
crates.iononmax0.5.5indirecta
crates.ionum0.4.3indirecta
crates.ionum-complex0.4.6indirecta
crates.ionum-conv0.2.2indirecta
crates.ionum-integer0.1.46indirecta
crates.ionum-iter0.1.46indirecta
crates.ionum-rational0.4.2indirecta
crates.ioonce_cell1.21.4indirecta
crates.ioonce_cell_polyfill1.70.2indirecta
crates.ioopenssl0.10.81indirecta
crates.ioopenssl-macros0.1.1indirecta
crates.ioopenssl-probe0.2.1indirecta
crates.ioopenssl-sys0.9.117indirecta
crates.iopapergrid0.18.0indirecta
crates.ioparking_lot0.11.2indirecta
crates.ioparking_lot0.12.5indirecta
crates.ioparking_lot_core0.8.6indirecta
crates.ioparking_lot_core0.9.12indirecta
crates.iopastey0.2.3indirecta
crates.iopbkdf20.13.0indirecta
crates.iopercent-encoding2.3.2indirecta
crates.iophf0.10.1indirecta
crates.iophf0.8.0indirecta
crates.iophf_codegen0.10.0indirecta
crates.iophf_codegen0.8.0indirecta
crates.iophf_generator0.10.0indirecta
crates.iophf_generator0.11.3indirecta
crates.iophf_generator0.8.0indirecta
crates.iophf_macros0.8.0indirecta
crates.iophf_shared0.10.0indirecta
crates.iophf_shared0.11.3indirecta
crates.iophf_shared0.8.0indirecta
crates.iopin-project-lite0.2.17indirecta
crates.iopin-utils0.1.0indirecta
crates.iopkg-config0.3.33indirecta
crates.ioportable-atomic1.14.0indirecta
crates.iopotential_utf0.1.5indirecta
crates.iopowerfmt0.2.0indirecta
crates.ioppmd-rust1.4.0indirecta
crates.ioppv-lite860.2.21indirecta
crates.ioprecomputed-hash0.1.1indirecta
crates.iopretty_assertions—indirecta
crates.iopretty_assertions1.4.1indirecta
crates.ioproc-macro-error1.0.4indirecta
crates.ioproc-macro-error-attr1.0.4indirecta
crates.ioproc-macro-error-attr22.0.0indirecta
crates.ioproc-macro-error22.0.1indirecta
crates.ioproc-macro-hack0.5.20+deprecatedindirecta
crates.ior-efi6.0.0indirecta
crates.iorand_chacha0.2.2indirecta
crates.iorand_chacha0.3.1indirecta
crates.iorand_core0.10.1indirecta
crates.iorand_core0.5.1indirecta
crates.iorand_core0.6.4indirecta
crates.iorand_hc0.2.0indirecta
crates.iorand_pcg0.2.1indirecta
crates.iorand_xoshiro0.6.0indirecta
crates.iorapidhash4.5.1indirecta
crates.ioredox_syscall0.2.16indirecta
crates.ioredox_syscall0.5.18indirecta
crates.ioredox_syscall0.7.0indirecta
crates.ioregex-automata0.4.13indirecta
crates.ioregex-automata0.4.16indirecta
crates.ioregex-syntax0.8.11indirecta
crates.ioregex-syntax0.8.8indirecta
crates.ioreqwest0.12.28indirecta
crates.iorustc_version0.4.1indirecta
crates.iorustix1.1.4indirecta
crates.iorustls-pki-types1.15.1indirecta
crates.iorustversion1.0.23indirecta
crates.ioryu1.0.23indirecta
crates.iosame-file1.0.6indirecta
crates.ioschannel0.1.29indirecta
crates.ioscopeguard1.2.0indirecta
crates.iosecurity-framework3.7.0indirecta
crates.iosecurity-framework-sys2.17.0indirecta
crates.ioselectors0.22.0indirecta
crates.iosemver1.0.28indirecta
crates.ioserde_core1.0.228indirecta
crates.ioserde_core1.0.229indirecta
crates.ioserde_derive1.0.228indirecta
crates.ioserde_derive1.0.229indirecta
crates.ioserde_path_to_error0.1.20indirecta
crates.ioserde_spanned1.0.4indirecta
crates.ioserde_spanned1.1.1indirecta
crates.ioserde_urlencoded0.7.1indirecta
crates.ioservo_arc0.1.1indirecta
crates.iosha10.11.0indirecta
crates.ioshlex2.0.1indirecta
crates.iosimd-adler320.3.10indirecta
crates.iosimilar2.7.0indirecta
crates.iosiphasher0.3.11indirecta
crates.iosiphasher1.0.3indirecta
crates.iosized-chunks0.6.5indirecta
crates.ioslab0.4.12indirecta
crates.iosmallvec1.15.2indirecta
crates.iosocket20.6.5indirecta
crates.iostable_deref_trait1.2.1indirecta
crates.iostring_cache0.8.9indirecta
crates.iostring_cache_codegen0.5.4indirecta
crates.iostrsim0.11.1indirecta
crates.iostrum0.26.3indirecta
crates.iostrum_macros0.26.4indirecta
crates.iosync_wrapper1.0.2indirecta
crates.iotabled0.21.0indirecta
crates.iotabled_derive0.11.0indirecta
crates.iotendril0.4.3indirecta
crates.iotesting_table0.3.0indirecta
crates.iothin-slice0.1.1indirecta
crates.iothiserror1.0.69indirecta
crates.iothiserror2.0.19indirecta
crates.iothiserror-impl1.0.69indirecta
crates.iothiserror-impl2.0.19indirecta
crates.iotime0.3.54indirecta
crates.iotime-core0.1.9indirecta
crates.iotinystr0.8.3indirecta
crates.iotokio1.53.1indirecta
crates.iotokio-native-tls0.3.1indirecta
crates.iotoml_datetime0.7.5+spec-1.1.0indirecta
crates.iotoml_datetime1.1.1+spec-1.1.0indirecta
crates.iotoml_parser1.0.6+spec-1.1.0indirecta
crates.iotoml_parser1.1.3+spec-1.1.0indirecta
crates.iotoml_writer1.0.6+spec-1.1.0indirecta
crates.iotoml_writer1.1.2+spec-1.1.0indirecta
crates.iotower0.5.3indirecta
crates.iotower-http0.6.11indirecta
crates.iotower-layer0.3.3indirecta
crates.iotower-service0.3.3indirecta
crates.iotracing-attributes0.1.31indirecta
crates.iotracing-core0.1.36indirecta
crates.iotry-lock0.2.5indirecta
crates.iotyped-index-collections3.5.0indirecta
crates.iotyped-path0.12.3indirecta
crates.iotypenum1.20.1indirecta
crates.iounicode-width0.1.14indirecta
crates.iounicode-width0.2.2indirecta
crates.iounit-prefix0.5.2indirecta
crates.iounty0.0.4indirecta
crates.iounty-next0.1.2indirecta
crates.iourl2.5.8indirecta
crates.ioutf-80.7.6indirecta
crates.ioutf8_iter1.0.4indirecta
crates.ioutf8parse0.2.2indirecta
crates.iovcpkg0.2.15indirecta
crates.ioversion_check0.9.5indirecta
crates.iovirtue-next0.1.3indirecta
crates.iowant0.3.1indirecta
crates.iowasi0.11.1+wasi-snapshot-preview1indirecta
crates.iowasi0.9.0+wasi-snapshot-preview1indirecta
crates.iowasm-bindgen0.2.126indirecta
crates.iowasm-bindgen-futures0.4.76indirecta
crates.iowasm-bindgen-macro0.2.126indirecta
crates.iowasm-bindgen-macro-support0.2.126indirecta
crates.iowasm-bindgen-shared0.2.126indirecta
crates.iowasm-timer0.2.5indirecta
crates.ioweb-sys0.3.103indirecta
crates.ioweb-time1.1.0indirecta
crates.iowin32job—indirecta
crates.iowin32job1.0.4indirecta
crates.iowinapi0.3.9indirecta
crates.iowinapi-i686-pc-windows-gnu0.4.0indirecta
crates.iowinapi-util0.1.11indirecta
crates.iowinapi-x86_64-pc-windows-gnu0.4.0indirecta
crates.iowindows-core0.62.2indirecta
crates.iowindows-implement0.60.2indirecta
crates.iowindows-interface0.59.3indirecta
crates.iowindows-link0.2.1indirecta
crates.iowindows-result0.4.1indirecta
crates.iowindows-strings0.5.1indirecta
crates.iowindows-sys0.60.2indirecta
crates.iowindows-sys0.61.2indirecta
crates.iowindows-targets0.53.5indirecta
crates.iowindows_aarch64_gnullvm0.53.1indirecta
crates.iowindows_aarch64_msvc0.53.1indirecta
crates.iowindows_i686_gnu0.53.1indirecta
crates.iowindows_i686_gnullvm0.53.1indirecta
crates.iowindows_i686_msvc0.53.1indirecta
crates.iowindows_x86_64_gnu0.53.1indirecta
crates.iowindows_x86_64_gnullvm0.53.1indirecta
crates.iowindows_x86_64_msvc0.53.1indirecta
crates.iowinnow0.7.14indirecta
crates.iowinnow0.7.15indirecta
crates.iowinnow1.0.4indirecta
crates.iowriteable0.6.3indirecta
crates.ioyoke0.8.3indirecta
crates.ioyoke-derive0.8.2indirecta
crates.iozerocopy0.8.55indirecta
crates.iozerocopy-derive0.8.55indirecta
crates.iozerofrom0.1.8indirecta
crates.iozerofrom-derive0.1.7indirecta
crates.iozeroize1.9.0indirecta
crates.iozerotrie0.2.4indirecta
crates.iozerovec0.11.6indirecta
crates.iozerovec-derive0.11.3indirecta
crates.iozlib-rs0.6.6indirecta
crates.iozmij1.0.23indirecta
crates.iozmij1.0.5indirecta
crates.iozopfli0.8.3indirecta
crates.iozstd0.13.3indirecta
crates.iozstd-safe7.2.4indirecta
crates.iozstd-sys2.0.16+zstd.1.5.7indirecta
RubyGemsaddressable2.8.6indirecta
RubyGemscolorator1.1.0indirecta
RubyGemsconcurrent-ruby1.2.3indirecta
RubyGemsem-websocket0.5.3indirecta
RubyGemseventmachine1.2.7indirecta
RubyGemsffi1.16.3indirecta
RubyGemsforwardable-extended2.6.0indirecta
RubyGemsgoogle-protobuf4.26.1indirecta
RubyGemshttp_parser.rb0.8.0indirecta
RubyGemsi18n1.14.4indirecta
RubyGemsjekyll4.3.3indirecta
RubyGemsjekyll-feed0.17.0indirecta
RubyGemsjekyll-sass-converter3.0.0indirecta
RubyGemsjekyll-watch2.2.1indirecta
RubyGemskramdown2.4.0indirecta
RubyGemskramdown-parser-gfm1.1.0indirecta
RubyGemsliquid4.0.4indirecta
RubyGemslisten3.9.0indirecta
RubyGemsmercenary0.4.0indirecta
RubyGemspathutil0.16.2indirecta
RubyGemspublic_suffix5.0.5indirecta
RubyGemsrake13.2.1indirecta
RubyGemsrb-fsevent0.11.2indirecta
RubyGemsrb-inotify0.10.1indirecta
RubyGemsrexml3.2.6indirecta
RubyGemsrouge4.2.1indirecta
RubyGemssafe_yaml1.0.5indirecta
RubyGemssass-embedded1.76.0-x86_64-linux-muslindirecta
RubyGemsterminal-table3.0.2indirecta
RubyGemsunicode-display_width2.5.0indirecta
RubyGemswebrick1.8.1indirecta
Avisos de dependencias 15

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

PaqueteVersiónRelaciónGravedadAvisosCorregido en
addressable2.8.6indirectaalta12.9.0
concurrent-ruby1.2.3indirectaalta31.3.7
google-protobuf4.26.1indirectaalta14.28.2
rexml3.2.6indirectaalta63.3.9
webrick1.8.1indirectaalta21.8.2
rand0.7.3directabaja20.10.1
anyhow1.0.100directadesconocida11.0.103
im15.1.0directadesconocida2—
bincode2.0.1indirectadesconocida1—
bitmaps2.1.0indirectadesconocida1—
fxhash0.2.1indirectadesconocida1—
instant0.1.13indirectadesconocida1—
proc-macro-error1.0.4indirectadesconocida1—
proc-macro-error22.0.1indirectadesconocida1—
sized-chunks0.6.5indirectadesconocida2—

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.

El mensaje se conserva durante el inicio de sesión.

Registros relacionados

Repositorios inspeccionados que comparten etiquetas de catálogo o ecosistemas con verus-lang/verus. Leer en paralelo →

89creusot-rs/creusotCreusot helps you prove your Rust code is correct.Excelente83assura-lang/assuraContract-first AI-native language. Write what it should do. AI proves it does.Excelente80hypothesi/mcp-server-tauriA Model Context Protocol (MCP) server and plugin for Tauri v2 developmentExcelente80verus-lang/verusfmtAn Opinionated Formatter for VerusExcelente78x52dev/contractsA Rust crate that implements "design by contract" via procedural macrosBueno71aretta-ai/aristoAn SDK for verifiable intent, inline with code: one-line claims above your functions, verified at the rigor you choose and flagged when they drift. Agent-first, MIT.Bueno

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 — crates.io.