Software health reportschema 0.32.0 · metrics 2.10.0 · 2026-08-20 18:32 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★ 327 stars⑂ 46 forkssince Feb 2025View on GitHub ↗

KindCommand-line toolhow this is determined

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

Certora/CertoraProver holds a health index of 73 out of 100, placing it in the Good band. It scores highest on Vitality (83/100) and lowest on Security (40/100). It was last updated 30 days ago. 5 contributors account for most of its recent work.

overall / 100

Good

Software health index

Metrics are grouped into weighted categories on one standardized 1–100 scale. Overall starts as their weighted mean, calibrated against the distribution of the public record so bands carry percentile meaning; when public evidence triggers the High-Risk Jurisdiction Policy, the rating is adjusted and receives an At Risk ceiling of 34.

Exceptional93-100The record's top tier (≈ top 5%); essentially all checked criteria met

Excellent80-92Strong across the board; minor gaps

Good65-79Healthy; gaps are limited and manageable

Moderate50-64Acceptable with notable gaps; review recommended

Weak35-49Material weaknesses across several areas

At Risk20-34Significant weaknesses; adoption warrants caution

Critical1-19Severe problems (abandoned, single-maintainer, no hygiene)

Score profile

Each axis is a category. The shape matters more than the average — a healthy subject fills the whole shape, while a spike-and-crater profile means strength in one dimension is masking risk in another.

The weighted overall 64 is calibrated to 73 on the published index scale (record calibration 2026-08-02).

Ownership

CertoraOrganization

184 followers278 public repossince May 2018

This repository is backed by an organization — shared, accountable stewardship that can outlive any single maintainer.

Metrics by category

Vitality

Is the project alive — is code being written and are releases shipping?

83Excellent · 21% of overall

Development activity

79Good

How it's scored

28.8/36	Push recency — last push 30 days ago
22.2/36	Commit cadence — 32/52 weeks with commits
18/18	Commit volume — 633 commits in the last year
10/10	OpenSSF Scorecard: Maintained — 30 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 10

Inputs used

commits_last_year	633
human_commit_share	1
days_since_last_push	30
active_weeks_last_year	32

Release discipline

90Excellent

How it's scored

27/27	Ships releases — 52 releases published
36/36	Release recency — latest release 30 days ago
27/27	Release cadence — a release every ~9.5 days
0/10	OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.

Inputs used

releases_count	52
latest_release_tag	8.18.0
releases_from_tags	no
days_since_latest_release	30
mean_days_between_releases	9.5

Community & Adoption

Does the project have users, downloads, attention, and a welcoming setup for contributors?

53Moderate · 17% of overall

Popularity & adoption

56Moderate

How it's scored

40.8/60	Stars — 327 stars
13.8/25	Forks — 46 forks
1.7/15	Watchers — 3 watchers

Inputs used

forks	46
stars	327
watchers	3
growth_state	unverified
growth_factor_pct	100
growth_unverified_reason	no_history

Community health

50Moderate

How it's scored

22.5/22.5	README
22.5/22.5	License — recognized license (GPL-3.0)
0/18	CONTRIBUTING guide
0/13.5	Code of conduct
0/7.2	Issue template
0/6.3	PR template

Inputs used

has_readme	yes
has_license	yes
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

Sustainability & Governance

Will the project survive its people — bus factor, responsiveness, who backs it, and package upkeep?

77Good · 23% of overall

Maintainer resilience (bus factor)

88Excellent

How it's scored

45.9/54	Bus factor — 5 contributor(s) cover half of all commits
18.2/22.5	Commit distribution — top contributor authored 19% of commits
13.5/13.5	Contributor breadth — 26 contributors
10/10	OpenSSF Scorecard: Contributors — project has 8 contributing companies or organizations

Inputs used

bus_factor	5
contributors_sampled	26
top_contributor_share	0.192

Issue & PR responsiveness

51Moderate

How it's scored

7.7/42	Issue resolution — 18% of issues closed
22/30	PR acceptance — 41/56 decided PRs merged
0/13	Newcomer PR acceptance — no first-time contributor's PR decided in 30d
15/15	OpenSSF Scorecard: Code-Review — all changesets reviewed

Inputs used

merged_prs	41
open_issues	40
closed_issues	9
prs_merged_7d	0
prs_decided_7d	0
prs_merged_30d	0
prs_decided_30d	0
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

Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.

Ownership & stewardship

89Excellent

How it's scored

30/30	Ownership backing — organization-owned
0/20	Verified domain — verified-domain status not read for this organization
16.3/25	Owner reach — 184 followers of Certora
25/25	Track record — 278 public repos, account ~8 yr old

Inputs used

followers	184
owner_type	Organization
is_verified	—
owner_login	Certora
public_repos	278
account_age_days	3,023

Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.

Engineering Quality

Are baseline engineering and documentation practices in place?

58Moderate · 19% of overall

Engineering practices

46Weak

How it's scored

0/24	CI workflows
24/24	Tests present
16/16	Linter config — .flake8
0/9.6	Pre-commit hooks
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

Inputs used

has_ci	no
has_tests	yes
has_editorconfig	yes
has_linter_config	yes
has_precommit_config	no

Documentation

75Good

How it's scored

30/30	README
0/25	Documentation directory
15/15	Documentation / homepage site — https://www.certora.com
10/10	Repository description
10/10	Topics — 10 topics
10/10	Wiki

Inputs used

topics	blockchain, certora, certora-prover, ethereum, formal-verification, security-tools, smart-contracts, solana, stellar, web3
has_wiki	yes
homepage	https://www.certora.com
docs_site	https://www.certora.com
has_readme	yes
has_docs_dir	no
has_description	yes

Security

Are visible security and supply-chain practices strong, without unresolved high-risk jurisdiction exposure?

40Weak · 16% of overall

Security posture

29At Risk

How it's scored

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 — no data
0/7.5	Dependency-Update-Tool — no update tool detected
0/5	Fuzzing — project is not fuzzed
2.5/2.5	License — 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 — no data
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 — no data
0/7.5	Vulnerabilities — 24 existing vulnerabilities detected

Inputs used

source	openssf_scorecard
checks_evaluated	15
scorecard_version	v5.5.0
checks_inconclusive	3
scorecard_aggregate	2.9

Excluded from scoring (no data or not applicable): Dangerous-Workflow, Packaging, Token-Permissions. Remaining weights renormalized.

Dependency advisories

82Excellent

How it's scored

23.6/35	Direct dependencies free of known advisories — 4 affected: rand 0.7.3 (low), rand 0.8.5 (low), memmap2 0.5.10 (unknown), +1 more
0/25	Indirect dependencies free of known advisories — transitive set not separable from development and test dependencies in this scope
38.1/40	No advisories left outstanding — 2 advisory-carrying package(s) unaddressed past 90 days; oldest published 133 days ago

Inputs used

source	osv
advisories	63
affected_packages	32
assessed_packages	530
unassessed_packages	27
affected_by_severity	critical 1, high 2, moderate 12, low 5, unknown 12
direct_affected_packages	4

Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories. Remaining weights renormalized. Matched 530 resolved dependencies against OSV. 27 could not be assessed — no resolved version, an unsupported ecosystem, or beyond the reported package list. This repository publishes no package the index resolves, so the repository dependency graph was assessed instead. That graph mixes development and test pins with shipped dependencies, so only the declared runtime dependencies are scored; transitive findings are reported as context and excluded from the score. Reachability is not analyzed.

AI Readiness

How well is the repo equipped to be developed and maintained with AI coding agents? Carries a deliberately small weight (4%): agent tooling is a real maintenance signal, but a repository with none can still reach 100/100.

69Good · 4% of overall

Agent context & guidance

36Weak

How it's scored

0/45	Agent instructions — no CLAUDE.md / AGENTS.md / editor rules
0/15	Machine-readable docs (llms.txt)
36.3/40	Legible commit history — 68 of 100 human commits state their intent (structured subject or explanatory body)

Inputs used

has_llms_txt	no
llms_txt_url	—
legible_history_share	0.68
agent_instruction_files	—
agent_instruction_max_bytes	—

Verify loop (build / test / typecheck)

72Good

How it's scored

18/18	One-command bootstrap — Public/TestSolana/CeilDivTest/justfile, Public/TestSolana/CpisTest/justfile, Public/TestSolana/IsAccountWritten/justfile, Public/TestSolana/MathEquivTest/justfile, Public/TestSolana/RentTest/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	Automated tests
11/11	Lint / format config — .flake8
11/11	Static type checking — scripts/python_lint/mypy.ini
10/10	Reproducible environment — lockfile
0/10	Demonstrated agent practice — no agent-authored commits among the last 100
0/8	Automated maintenance — no automated dependency updates observed
0/10	OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0

Inputs used

has_nix	no
has_tests	yes
lockfiles	Cargo.lock
has_dockerfile	no
typed_language	yes
bootstrap_files	Public/TestSolana/CeilDivTest/justfile, Public/TestSolana/CpisTest/justfile, Public/TestSolana/IsAccountWritten/justfile, Public/TestSolana/MathEquivTest/justfile, Public/TestSolana/RentTest/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	yes
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/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

Code legibility for models

99Exceptional

How it's scored

45/45	Type-checkable code — Kotlin (statically typed)
53.8/55	Manageable file sizes — 52/2,442 source files over 60KB

Inputs used

primary_language	Kotlin
largest_source_bytes	250,938
source_files_sampled	2,442
oversized_source_files	52

Machine-readable interfaces

100Exceptional

How it's scored

0/40	API schema (OpenAPI/GraphQL/proto) — not applicable to this kind of software
0/20	MCP server — not applicable to this kind of software
40/40	Runnable examples — example, examples

Inputs used

example_dirs	example, examples
has_mcp_signal	no
api_schema_files	—
interfaces_expected_of	—

Excluded from scoring (no data or not applicable): API schema (OpenAPI/GraphQL/proto), MCP server. Remaining weights renormalized.

Key facts

327GitHub stars

26contributors

633commits, last 12 months

30days since last push

52releases

5bus factor

40open issues

crates.io, Mavenpackage ecosystems

Data collection warnings

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

More detail

Star and fork history 0 ★ / 46 ⇿

0Stars

46Forks

52Releases

When each star and fork was added, collected from GitHub and bucketed by day. Cumulative growth sits directly above the daily additions it is made of, so the two read against each other: steady organic accretion looks nothing like an abrupt, short-lived burst. Where that difference is measurable, it is reported as growth authenticity.

Major 1Minor 22Patch 29

Each point covers 2 days.

OpenSSF Scorecard 2.9 / 10

2.9aggregate

Independent, tool-agnostic security assessment from the open-source OpenSSF Scorecard. Each check rewards a security practice, not a specific vendor's tool. Checks Scorecard could not determine are marked n/a and excluded from the security score (never counted as zero).Scorecard v5.5.0 · 2026-08-20 18:31 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/a	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/a	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/a	Token-Permissions	No tokens found
0	Vulnerabilities	24 existing vulnerabilities detected

Direct dependencies 22

Registry	Package	Version constraint	Manifest
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

All dependencies 557

Full resolved dependency set from the GitHub dependency graph: 37 direct and 520 indirect (transitive) packages. The transitive closure is complete when the repository commits a lockfile.

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

Dependency advisories 32

This repository publishes no package the index resolves, so its own dependency graph was assessed — 530 packages, which also include development and test pins that never ship: 32 carry known advisories, of which 4 are direct. 27 could not be assessed — no resolved version, an unsupported ecosystem, or beyond the reported package list.

Package	Version	Relation	Severity	Advisories	Fixed in
langchain-core	`0.3.72`	indirect	critical	12	`1.3.3`
langchain	`0.3.27`	indirect	high	4	`1.4.6`
langgraph	`0.6.0`	indirect	high	2	`1.0.10rc1`
borsh	`0.10.4`	indirect	moderate	1	`1.0.0-alpha.1`
borsh	`0.9.3`	indirect	moderate	2	`1.0.0-alpha.1`
cmov	`0.5.3`	indirect	moderate	1	`0.5.4`
ed25519-dalek	`1.0.1`	indirect	moderate	2	`2.0.0`
langchain	`1.2.17`	indirect	moderate	2	`1.4.6`
langchain-anthropic	`0.3.18`	indirect	moderate	2	`1.4.6`
langchain-anthropic	`1.4.3`	indirect	moderate	2	`1.4.6`
langgraph-checkpoint-sqlite	`3.0.3`	indirect	moderate	2	`3.1.1`
langgraph-sdk	`0.2.0`	indirect	moderate	2	`0.3.15`
langgraph-sdk	`0.3.14`	indirect	moderate	2	`0.3.15`
serde_with	`2.3.3`	indirect	moderate	1	`3.21.0`
soroban-sdk	`22.0.9`	indirect	moderate	1	`25.3.0`
rand	`0.7.3`	direct	low	2	`0.10.1`
rand	`0.8.5`	direct	low	2	`0.10.1`
atty	`0.2.14`	indirect	low	3	—
curve25519-dalek	`3.2.1`	indirect	low	2	`4.1.3`
keccak	`0.1.5`	indirect	low	2	`0.1.6`
memmap2	`0.5.10`	direct	unknown	1	`0.9.11`
memmap2	`0.9.5`	direct	unknown	1	`0.9.11`
anyhow	`1.0.100`	indirect	unknown	1	`1.0.103`
anyhow	`1.0.99`	indirect	unknown	1	`1.0.103`
bincode	`1.3.3`	indirect	unknown	1	—
bitmaps	`2.1.0`	indirect	unknown	1	—
crossbeam-epoch	`0.9.18`	indirect	unknown	1	`0.9.20`
derivative	`2.2.0`	indirect	unknown	1	—
im	`15.1.0`	indirect	unknown	2	—
libsecp256k1	`0.6.0`	indirect	unknown	1	—
paste	`1.0.15`	indirect	unknown	1	—
sized-chunks	`0.6.5`	indirect	unknown	2	—

An advisory means the version recorded in the dependency graph falls inside an advisory’s affected range. Reachability is not analysed, and the graph includes development and test pins — a finding may concern tooling rather than shipped software.

Raw JSON report machine-readable

Feedback

Spotted something off in this report, or have thoughts to share? Wrong measurements, missed tooling, ideas, questions — anything is welcome. Every message is read and gets a response.

Scores are signals, not warranties. They reflect publicly visible practices on GitHub — not a code audit, and not a security guarantee.

Missing data is excluded and weights renormalized, never scored as zero. Methodology is versioned and open: metrics v2.10.0, schema v0.32.0 — full methodology · metrics wiki.

How one result sits in the wider record: aggregate statistics.

Software health index

Score profile

Ownership

Metrics by category

Key facts

Data collection warnings

More detail

Feedback

Related records