Public record
Software health reportschema 0.30.0 · metrics 2.10.0 · 2026-08-04 06:39 UTC

automators-com / flowproof

Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.

RustApache-2.0★ 5 stars⑂ 0 forkssince Jul 2026View on GitHub ↗
KindLibraryCommand-line toolMCP serverhow this is determined

automators-com/flowproof holds a health index of 65 out of 100, placing it in the Good band. It scores highest on Engineering Quality (81/100) and lowest on Security (43/100). It was last updated today. A single contributor accounts for most of its recent work.

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

65
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)
VitalityCommunity &AdoptionSustainability &GovernanceEngineeringQualitySecurityAI Readiness

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 60 is calibrated to 65 on the published index scale (record calibration 2026-08-02).

Ownership

AutomatorsOrganization
10 followers8 public repossince Jul 2022

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

Package ecosystems

RegistryPackageVersionDownloads / moVersionsLast publishTags
npmflowproof0.12.21,599120 days agotest-automationtestingautomationai-agentssap-guicitrixwindows
PyPIflowproof0.12.24,338250 days ago

Metrics by category

Vitality

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

64Moderate · 21% of overall
How it's scored
36/36Push recencylast push 0 days ago
2.1/36Commit cadence3/52 weeks with commits
18/18Commit volume558 commits in the last year
0/10OpenSSF Scorecard: Maintainedproject was created within the last 90 days. Please review its contents carefully
Inputs used
commits_last_year558
human_commit_share1
days_since_last_push0
active_weeks_last_year3
How it's scored
27/27Ships releases1 releases published
36/36Release recencylatest release 0 days ago
12.6/27Release cadencecadence unknown (single release)
0/10OpenSSF Scorecard: Signed-ReleasesProject has not signed or included provenance with any releases.
Inputs used
releases_count1
latest_release_tagv0.12.2
releases_from_tagsno
days_since_latest_release0
mean_days_between_releases

Community & Adoption

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

44Weak · 17% of overall
How it's scored
9.8/60Stars5 stars
0/25Forks0 forks
0/15Watchers0 watchers
Inputs used
forks0
stars5
watchers0
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history
How it's scored
22.5/22.5README
22.5/22.5Licenserecognized license (Apache-2.0)
18/18CONTRIBUTING guide
0/13.5Code of conduct
0/7.2Issue template
0/6.3PR template
Inputs used
has_readmeyes
has_licenseyes
readme_badges4
has_contributingyes
has_issue_templateno
has_code_of_conductno
readme_badge_servicesgithub.com, shields.io
has_pull_request_templateno
How it's scored
50.3/80Monthly downloads5,937 downloads/month across npm, pypi
0/20Registry dependentsnot reported by this ecosystem
Inputs used
packagesflowproof, flowproof
dependents
ecosystemsnpm, pypi
total_downloads
monthly_downloads5,937
unverified_packages_excluded
Excluded from scoring (no data or not applicable): Registry dependents. Remaining weights renormalized.

Sustainability & Governance

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

61Moderate · 23% of overall
How it's scored
9/54Bus factor1 contributor(s) cover half of all commits
5.4/22.5Commit distributiontop contributor authored 76% of commits
4.1/13.5Contributor breadth3 contributors
6/10OpenSSF Scorecard: Contributorsproject has 2 contributing companies or organizations -- score normalized to 6
Inputs used
bus_factor1
contributors_sampled3
top_contributor_share0.762
How it's scored
32.9/42Issue resolution78% of issues closed
28.9/30PR acceptance318/330 decided PRs merged
0/13Newcomer PR acceptanceno first-time contributor's PR decided in 30d
0/15OpenSSF Scorecard: Code-ReviewFound 0/16 approved changesets -- score normalized to 0
Inputs used
merged_prs318
open_issues13
closed_issues47
prs_merged_7d60
prs_decided_7d60
prs_merged_30d60
prs_decided_30d60
issue_closed_ratio0.783
closed_unmerged_prs12
first_time_authors_30d0
first_time_prs_merged_30d0
first_time_prs_decided_30d0
Excluded from scoring (no data or not applicable): Newcomer PR acceptance. Remaining weights renormalized.
How it's scored
30/30Ownership backingorganization-owned
0/20Verified domainverified-domain status not read for this organization
7.5/25Owner reach10 followers of automators-com
15.1/25Track record8 public repos, account ~4 yr old
Inputs used
followers10
owner_typeOrganization
is_verified
owner_loginautomators-com
public_repos8
account_age_days1,489
Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.

Package maintenance

100Exceptional
How it's scored
25/25Published & resolvable2 package(s) on npm, pypi
35/35Publish recencylatest publish 0 days ago
20/20Version history25 published versions
20/20Not deprecatedactive, not deprecated or yanked
Inputs used
packagesflowproof, flowproof
ecosystemsnpm, pypi
any_deprecatedno
min_days_since_publish0

Engineering Quality

Are baseline engineering and documentation practices in place?

81Excellent · 19% of overall
How it's scored
24/24CI workflows8 workflow(s)
24/24Tests present
0/16Linter config
0/9.6Pre-commit hooks
0/6.4.editorconfig
20/20OpenSSF Scorecard: CI-Tests16 out of 16 merged PRs checked by a CI test -- score normalized to 10
Inputs used
has_ciyes
has_testsyes
has_editorconfigno
has_linter_configno
has_precommit_configno

Documentation

100Exceptional
How it's scored
30/30README
25/25Documentation directory
15/15Documentation / homepage sitehttps://automators.ai/flowproof
10/10Repository description
10/10Topics16 topics
10/10Wiki
Inputs used
topicsautomation, automation-framework, test-automation, test-automation-framework, testing, testing-framework, ai-agents, citrix, mcp-server, self-healing, windows-automation, agent-testing, mcp-testing, sap, sap-test-automation, sap-testing
has_wikiyes
homepagehttps://automators.ai/flowproof
docs_sitehttps://automators.ai/flowproof
has_readmeyes
has_docs_diryes
has_descriptionyes

Security

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

43Weak · 16% of overall
How it's scored
7.5/7.5Binary-Artifactsno binaries found in the repo
6/7.5Branch-Protectionbranch protection is not maximal on development and all release branches
2.5/2.5CI-Tests16 out of 16 merged PRs checked by a CI test -- score normalized to 10
0/2.5CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0/7.5Code-ReviewFound 0/16 approved changesets -- score normalized to 0
1.5/2.5Contributorsproject has 2 contributing companies or organizations -- score normalized to 6
10/10Dangerous-Workflowno dangerous workflow patterns detected
0/7.5Dependency-Update-Toolno update tool detected
0/5Fuzzingproject is not fuzzed
2.5/2.5Licenselicense file detected
0/7.5Maintainedproject was created within the last 90 days. Please review its contents carefully
5/5Packagingpackaging workflow detected
0/5Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0/5SASTSAST tool is not run on all commits -- score normalized to 0
0/5Security-Policysecurity policy file not detected
0/7.5Signed-ReleasesProject has not signed or included provenance with any releases.
0/7.5Token-Permissionsdetected GitHub workflow tokens with excessive permissions
3/7.5Vulnerabilities6 existing vulnerabilities detected
Inputs used
sourceopenssf_scorecard
checks_evaluated18
scorecard_versionv5.5.0
checks_inconclusive0
scorecard_aggregate3.6
How it's scored
14/35Direct dependencies free of known advisories1 affected: pyo3 0.26.0 (high 7.5)
0/25Indirect dependencies free of known advisoriestransitive set not separable from development and test dependencies in this scope
40/40No advisories left outstandingno advisory has been public longer than 90 days
Inputs used
sourceosv
advisories9
affected_packages5
assessed_packages430
unassessed_packages16
affected_by_severityhigh 1, moderate 2, unknown 2
direct_affected_packages1
Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories. Remaining weights renormalized. Matched 430 resolved dependencies against OSV. 16 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.

81Excellent · 4% of overall
How it's scored
45/45Agent instructionsCLAUDE.md
0/15Machine-readable docs (llms.txt)
40/40Legible commit history96 of 100 human commits state their intent (structured subject or explanatory body)
Inputs used
has_llms_txtno
llms_txt_url
legible_history_share0.96
agent_instruction_filesCLAUDE.md
agent_instruction_max_bytes5,506
How it's scored
12.6/18One-command bootstrapCargo.toml, crates/flowproof-adapters/Cargo.toml, crates/flowproof-agent/Cargo.toml (toolchain convention, no task runner)
22/22Automated tests
0/11Lint / format config
11/11Static type checkingsdk/python/flowproof/py.typed
10/10Reproducible environmentlockfile
10/10Demonstrated agent practice53 of the last 100 commits agent-authored or agent-credited
0/8Automated maintenanceno automated dependency updates observed
0/10OpenSSF Scorecard: Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
Inputs used
has_nixno
has_testsyes
lockfilesCargo.lock, uv.lock
has_dockerfileno
typed_languageyes
bootstrap_files
has_devcontainerno
has_linter_configno
typecheck_configssdk/python/flowproof/py.typed
agent_commit_share0.53
toolchain_manifestsCargo.toml, crates/flowproof-adapters/Cargo.toml, crates/flowproof-agent/Cargo.toml, crates/flowproof-cli/Cargo.toml, crates/flowproof-driver/Cargo.toml, crates/flowproof-python/Cargo.toml, crates/flowproof-replay/Cargo.toml, crates/flowproof-trace/Cargo.toml, spike/windows-containment/Cargo.toml
dependency_bot_commit_share0
How it's scored
45/45Type-checkable codeRust (statically typed)
49.8/55Manageable file sizes14/147 source files over 60KB
Inputs used
primary_languageRust
largest_source_bytes267,250
source_files_sampled147
oversized_source_files14
How it's scored
0/40API schema (OpenAPI/GraphQL/proto)not applicable to this kind of software
20/20MCP server
40/40Runnable examplesexamples
Inputs used
example_dirsexamples
has_mcp_signalyes
api_schema_files
interfaces_expected_of
Excluded from scoring (no data or not applicable): API schema (OpenAPI/GraphQL/proto). Remaining weights renormalized.

Key facts

5GitHub stars
3contributors
558commits, last 12 months
0days since last push
1releases
1bus factor
13open issues
crates.iopackage ecosystems

Data collection warnings

  • Star history unavailable: GitHub GraphQL error: Resource not accessible by personal access token
  • Could not fetch crates package 'flowproof-cli' from its registry
  • Could not fetch crates package 'flowproof-agent' from its registry
  • Could not fetch crates package 'flowproof-trace' from its registry
  • Could not fetch crates package 'flowproof-driver' from its registry
  • Could not fetch crates package 'flowproof-python' from its registry
  • Could not fetch crates package 'flowproof-replay' from its registry
  • deps.dev does not index npm:flowproof@0.12.2; advisories assessed against the repository dependency graph instead

More detail

OpenSSF Scorecard 3.6 / 10
3.6aggregate

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-04 06:39 UTC

10Binary-Artifactsno binaries found in the repo
8Branch-Protectionbranch protection is not maximal on development and all release branches
10CI-Tests16 out of 16 merged PRs checked by a CI test -- score normalized to 10
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 0/16 approved changesets -- score normalized to 0
6Contributorsproject has 2 contributing companies or organizations -- score normalized to 6
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
0Fuzzingproject is not fuzzed
10Licenselicense file detected
0Maintainedproject was created within the last 90 days. Please review its contents carefully
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
4Vulnerabilities6 existing vulnerabilities detected
Direct dependencies 54
RegistryPackageVersion constraintManifest
crates.ioanyhowcrates/flowproof-adapters/Cargo.toml
crates.ioflowproof-drivercrates/flowproof-adapters/Cargo.toml
crates.ioflowproof-tracecrates/flowproof-adapters/Cargo.toml
crates.ioheadless_chrome1crates/flowproof-adapters/Cargo.toml
crates.ioserdecrates/flowproof-adapters/Cargo.toml
crates.ioserde_json1crates/flowproof-adapters/Cargo.toml
crates.ioimage0.25.10crates/flowproof-adapters/Cargo.toml
crates.iothiserrorcrates/flowproof-adapters/Cargo.toml
crates.ioocrs0.12crates/flowproof-adapters/Cargo.toml
crates.iorten0.24crates/flowproof-adapters/Cargo.toml
crates.ioureq3crates/flowproof-adapters/Cargo.toml
crates.iochronocrates/flowproof-agent/Cargo.toml
crates.ioflowproof-drivercrates/flowproof-agent/Cargo.toml
crates.ioflowproof-tracecrates/flowproof-agent/Cargo.toml
crates.ioregexcrates/flowproof-agent/Cargo.toml
crates.ioserdecrates/flowproof-agent/Cargo.toml
crates.ioserde_jsoncrates/flowproof-agent/Cargo.toml
crates.ioserde_yamlcrates/flowproof-agent/Cargo.toml
crates.iothiserrorcrates/flowproof-agent/Cargo.toml
crates.ioureq3crates/flowproof-agent/Cargo.toml
crates.iouuidcrates/flowproof-agent/Cargo.toml
crates.iochronocrates/flowproof-cli/Cargo.toml
crates.ioclapcrates/flowproof-cli/Cargo.toml
crates.ioctrlc3crates/flowproof-cli/Cargo.toml
crates.ioflowproof-adapterscrates/flowproof-cli/Cargo.toml
crates.ioflowproof-agentcrates/flowproof-cli/Cargo.toml
crates.ioflowproof-drivercrates/flowproof-cli/Cargo.toml
crates.ioflowproof-replaycrates/flowproof-cli/Cargo.toml
crates.ioflowproof-tracecrates/flowproof-cli/Cargo.toml
crates.ioserdecrates/flowproof-cli/Cargo.toml
crates.ioserde_jsoncrates/flowproof-cli/Cargo.toml
crates.ioserde_yamlcrates/flowproof-cli/Cargo.toml
crates.ioimage0.25.10crates/flowproof-driver/Cargo.toml
crates.ioserdecrates/flowproof-driver/Cargo.toml
crates.ioserde_jsoncrates/flowproof-driver/Cargo.toml
crates.iothiserrorcrates/flowproof-driver/Cargo.toml
crates.ioureq3crates/flowproof-driver/Cargo.toml
crates.iopostgres0.19crates/flowproof-driver/Cargo.toml
crates.ioflowproof-agentcrates/flowproof-python/Cargo.toml
crates.ioflowproof-clicrates/flowproof-python/Cargo.toml
crates.ioflowproof-drivercrates/flowproof-python/Cargo.toml
crates.ioflowproof-replaycrates/flowproof-python/Cargo.toml
crates.iopyo30.26crates/flowproof-python/Cargo.toml
crates.ioserde_jsoncrates/flowproof-python/Cargo.toml
crates.iochronocrates/flowproof-replay/Cargo.toml
crates.ioflowproof-drivercrates/flowproof-replay/Cargo.toml
crates.ioflowproof-tracecrates/flowproof-replay/Cargo.toml
crates.ioserdecrates/flowproof-replay/Cargo.toml
crates.ioserde_jsoncrates/flowproof-replay/Cargo.toml
crates.iothiserrorcrates/flowproof-replay/Cargo.toml
crates.ioserdecrates/flowproof-trace/Cargo.toml
crates.ioregexcrates/flowproof-trace/Cargo.toml
crates.ioserde_jsoncrates/flowproof-trace/Cargo.toml
crates.iothiserrorcrates/flowproof-trace/Cargo.toml
All dependencies 446

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

RegistryPackageVersionRelation
crates.ioanyhow1.0.103direct
crates.iochrono0.4.45direct
crates.ioclap4.6.2direct
crates.ioctrlcdirect
crates.ioctrlc3.5.2direct
crates.ioheadless_chromedirect
crates.ioheadless_chrome1.0.22direct
crates.ioimagedirect
crates.ioimage0.25.10direct
crates.ioocrsdirect
crates.ioocrs0.12.2direct
crates.iopostgresdirect
crates.iopostgres0.19.14direct
crates.iopyo3direct
crates.iopyo30.26.0direct
crates.ioregex1.13.1direct
crates.iortendirect
crates.iorten0.24.0direct
crates.ioserde1.0.228direct
crates.ioserde_jsondirect
crates.ioserde_json1.0.150direct
crates.ioserde_yaml0.9.34+deprecateddirect
crates.iothiserror1.0.69direct
crates.iothiserror2.0.18direct
crates.ioureqdirect
crates.ioureq3.3.0direct
crates.iouuid1.24.0direct
crates.ioab_glyphindirect
crates.ioab_glyph0.2.32indirect
crates.ioab_glyph_rasterizer0.1.10indirect
crates.ioadler22.0.1indirect
crates.ioahash0.8.12indirect
crates.ioaho-corasick1.1.4indirect
crates.ioandroid_system_properties0.1.5indirect
crates.ioanstream1.0.0indirect
crates.ioanstyle1.0.14indirect
crates.ioanstyle-parse1.0.0indirect
crates.ioanstyle-query1.1.5indirect
crates.ioanstyle-wincon3.0.11indirect
crates.ioapprox0.5.1indirect
crates.ioascii1.1.0indirect
crates.ioasync-trait0.1.91indirect
crates.ioauto_generate_cdp0.4.6indirect
crates.ioautocfg1.5.1indirect
crates.iobase640.22.1indirect
crates.iobit-set0.8.0indirect
crates.iobit-vec0.8.0indirect
crates.iobitflags1.3.2indirect
crates.iobitflags2.13.1indirect
crates.ioblock-buffer0.10.4indirect
crates.ioblock-buffer0.12.1indirect
crates.ioblock20.6.2indirect
crates.ioborrow-or-share0.2.4indirect
crates.iobumpalo3.20.3indirect
crates.iobytecount0.6.9indirect
crates.iobytemuck1.25.1indirect
crates.iobyteorder1.5.0indirect
crates.iobyteorder-lite0.1.0indirect
crates.iobytes1.12.1indirect
crates.iocc1.2.67indirect
crates.iocc1.4.0indirect
crates.iocesu81.1.0indirect
crates.iocfg-if1.0.4indirect
crates.iocfg_aliases0.2.2indirect
crates.iochacha200.10.1indirect
crates.iochunked_transfer1.5.0indirect
crates.ioclap_builder4.6.2indirect
crates.ioclap_derive4.6.1indirect
crates.ioclap_lex1.1.0indirect
crates.iocmov0.5.4indirect
crates.iocolor_quant1.1.0indirect
crates.iocolorchoice1.0.5indirect
crates.iocombine4.6.7indirect
crates.ioconst-oid0.10.2indirect
crates.ioconvert_case0.8.0indirect
crates.iocookie0.18.1indirect
crates.iocookie_store0.22.1indirect
crates.iocore-foundation0.10.1indirect
crates.iocore-foundation-sys0.8.7indirect
crates.iocpufeatures0.2.17indirect
crates.iocpufeatures0.3.0indirect
crates.iocrc32fast1.5.0indirect
crates.iocrossbeam-deque0.8.7indirect
crates.iocrossbeam-epoch0.9.20indirect
crates.iocrossbeam-utils0.8.22indirect
crates.iocrypto-common0.1.7indirect
crates.iocrypto-common0.2.2indirect
crates.ioctutils0.4.2indirect
crates.iodarling0.20.11indirect
crates.iodarling_core0.20.11indirect
crates.iodarling_macro0.20.11indirect
crates.iodata-encoding2.11.0indirect
crates.ioderanged0.5.8indirect
crates.ioderive_builder0.20.2indirect
crates.ioderive_builder_core0.20.2indirect
crates.ioderive_builder_macro0.20.2indirect
crates.iodigest0.10.7indirect
crates.iodigest0.11.3indirect
crates.iodispatch20.3.1indirect
crates.iodisplaydoc0.2.6indirect
crates.iodocument-features0.2.12indirect
crates.ioeither1.16.0indirect
crates.ioemail_address0.2.9indirect
crates.ioequivalent1.0.2indirect
crates.ioerrno0.3.14indirect
crates.iofallible-iterator0.2.0indirect
crates.iofancy-regex0.16.2indirect
crates.iofastrand2.4.1indirect
crates.iofdeflate0.3.7indirect
crates.iofind-msvc-tools0.1.9indirect
crates.ioflatbuffers24.12.23indirect
crates.ioflate21.1.9indirect
crates.iofluent-uri0.3.2indirect
crates.iofnv1.0.7indirect
crates.ioform_urlencoded1.2.2indirect
crates.iofraction0.15.4indirect
crates.iofutures-channel0.3.32indirect
crates.iofutures-core0.3.32indirect
crates.iofutures-core0.3.33indirect
crates.iofutures-sink0.3.33indirect
crates.iofutures-task0.3.32indirect
crates.iofutures-task0.3.33indirect
crates.iofutures-util0.3.32indirect
crates.iofutures-util0.3.33indirect
crates.iogeneric-array0.14.7indirect
crates.iogetrandom0.2.17indirect
crates.iogetrandom0.3.4indirect
crates.iogetrandom0.4.3indirect
crates.iogif0.14.2indirect
crates.iohashbrown0.17.1indirect
crates.ioheck0.5.0indirect
crates.iohermit-abi0.5.2indirect
crates.iohmac0.13.0indirect
crates.iohttp1.4.2indirect
crates.iohttparse1.10.1indirect
crates.iohttpdate1.0.3indirect
crates.iohybrid-array0.4.13indirect
crates.ioiana-time-zone0.1.65indirect
crates.ioiana-time-zone-haiku0.1.2indirect
crates.ioicu_collections2.2.0indirect
crates.ioicu_locale_core2.2.0indirect
crates.ioicu_normalizer2.2.0indirect
crates.ioicu_normalizer_data2.2.0indirect
crates.ioicu_properties2.2.0indirect
crates.ioicu_properties_data2.2.0indirect
crates.ioicu_provider2.2.0indirect
crates.ioident_case1.0.1indirect
crates.ioidna1.1.0indirect
crates.ioidna_adapter1.2.2indirect
crates.ioimageprocindirect
crates.ioimageproc0.25.1indirect
crates.ioindexmap2.14.0indirect
crates.ioindoc2.0.7indirect
crates.iois_terminal_polyfill1.70.2indirect
crates.ioitertools0.12.1indirect
crates.ioitoa1.0.18indirect
crates.iojni0.21.1indirect
crates.iojni-sys0.3.1indirect
crates.iojni-sys0.4.1indirect
crates.iojni-sys-macros0.4.1indirect
crates.iojs-sys0.3.103indirect
crates.iojsonschemaindirect
crates.iojsonschema0.33.0indirect
crates.iolazy_static1.5.0indirect
crates.iolibcindirect
crates.iolibc0.2.186indirect
crates.iolibc0.2.189indirect
crates.iolibm0.2.16indirect
crates.iolibredox0.1.18indirect
crates.iolinux-raw-sys0.12.1indirect
crates.iolitemap0.8.2indirect
crates.iolitrs1.0.0indirect
crates.iolock_api0.4.14indirect
crates.iolog0.4.33indirect
crates.iomatrixmultiply0.3.11indirect
crates.iomd-50.11.0indirect
crates.iomemchr2.8.3indirect
crates.iomemoffset0.9.1indirect
crates.iominiz_oxide0.8.9indirect
crates.iomio1.2.2indirect
crates.iomoxcms0.8.1indirect
crates.ionalgebra0.32.6indirect
crates.ionix0.31.3indirect
crates.ionum0.4.3indirect
crates.ionum-bigint0.4.8indirect
crates.ionum-cmp0.1.0indirect
crates.ionum-complex0.4.6indirect
crates.ionum-conv0.2.2indirect
crates.ionum-integer0.1.46indirect
crates.ionum-iter0.1.46indirect
crates.ionum-rational0.4.2indirect
crates.ionum-traits0.2.19indirect
crates.ionum_cpus1.17.0indirect
crates.ioobjc20.6.4indirect
crates.ioobjc2-core-foundation0.3.2indirect
crates.ioobjc2-encode4.1.0indirect
crates.ioobjc2-system-configuration0.3.2indirect
crates.ioonce_cell1.21.4indirect
crates.ioonce_cell_polyfill1.70.2indirect
crates.ioopenssl-probe0.2.1indirect
crates.iooutref0.5.2indirect
crates.ioowned_ttf_parser0.25.1indirect
crates.ioparking_lot0.12.5indirect
crates.ioparking_lot_core0.9.12indirect
crates.iopaste1.0.15indirect
crates.iopercent-encoding2.3.2indirect
crates.iophf0.13.1indirect
crates.iophf_shared0.13.1indirect
crates.iopin-project-lite0.2.17indirect
crates.iopng0.18.1indirect
crates.ioportable-atomic1.14.0indirect
crates.iopostgres-protocol0.6.12indirect
crates.iopostgres-types0.2.14indirect
crates.iopotential_utf0.1.5indirect
crates.iopowerfmt0.2.0indirect
crates.ioppv-lite860.2.21indirect
crates.ioproc-macro21.0.106indirect
crates.ioproc-macro21.0.107indirect
crates.iopxfm0.1.30indirect
crates.iopyo3-build-config0.26.0indirect
crates.iopyo3-ffi0.26.0indirect
crates.iopyo3-macros0.26.0indirect
crates.iopyo3-macros-backend0.26.0indirect
crates.ioquote1.0.46indirect
crates.ioquote1.0.47indirect
crates.ior-efi5.3.0indirect
crates.ior-efi6.0.0indirect
crates.iorand0.10.2indirect
crates.iorand0.8.7indirect
crates.iorand0.9.5indirect
crates.iorand_chacha0.3.1indirect
crates.iorand_chacha0.9.0indirect
crates.iorand_core0.10.1indirect
crates.iorand_core0.6.4indirect
crates.iorand_core0.9.5indirect
crates.iorand_distr0.4.3indirect
crates.iorawpointer0.2.1indirect
crates.iorayon1.12.0indirect
crates.iorayon-core1.13.0indirect
crates.ioredox_syscall0.5.18indirect
crates.ioref-cast1.0.25indirect
crates.ioref-cast-impl1.0.25indirect
crates.ioreferencing0.33.0indirect
crates.ioregex-automata0.4.16indirect
crates.ioregex-syntax0.8.11indirect
crates.ioring0.17.14indirect
crates.iorten-base0.24.0indirect
crates.iorten-gemm0.24.0indirect
crates.iorten-imageproc0.24.0indirect
crates.iorten-model-file0.24.0indirect
crates.iorten-onnx0.24.0indirect
crates.iorten-shape-inference0.24.0indirect
crates.iorten-simd0.24.0indirect
crates.iorten-tensor0.24.0indirect
crates.iorten-vecmath0.24.0indirect
crates.iorustc-hash2.1.3indirect
crates.iorustc_version0.4.1indirect
crates.iorustix1.1.4indirect
crates.iorustls0.23.42indirect
crates.iorustls-native-certs0.8.4indirect
crates.iorustls-pki-types1.15.0indirect
crates.iorustls-platform-verifier0.6.2indirect
crates.iorustls-platform-verifier-android0.1.1indirect
crates.iorustls-webpki0.103.13indirect
crates.iorustversion1.0.23indirect
crates.ioryu1.0.23indirect
crates.iosafe_arch0.7.4indirect
crates.iosame-file1.0.6indirect
crates.ioschannel0.1.29indirect
crates.ioscopeguard1.2.0indirect
crates.iosecurity-framework3.7.0indirect
crates.iosecurity-framework-sys2.17.0indirect
crates.iosemver1.0.28indirect
crates.ioserde_core1.0.228indirect
crates.ioserde_derive1.0.228indirect
crates.iosha10.10.7indirect
crates.iosha20.11.0indirect
crates.ioshlex2.0.1indirect
crates.iosimba0.8.1indirect
crates.iosimd-adler320.3.10indirect
crates.iosiphasher1.0.3indirect
crates.ioslab0.4.12indirect
crates.iosmallvec1.15.2indirect
crates.iosocket20.6.5indirect
crates.iosocks0.3.4indirect
crates.iostable_deref_trait1.2.1indirect
crates.iostringprep0.1.5indirect
crates.iostrsim0.11.1indirect
crates.iosubtle2.6.1indirect
crates.iosyn2.0.119indirect
crates.iosyn3.0.0indirect
crates.iosynstructure0.13.2indirect
crates.iotarget-lexicon0.13.5indirect
crates.iotempfile3.27.0indirect
crates.iothiserror-impl1.0.69indirect
crates.iothiserror-impl2.0.18indirect
crates.iotime0.3.53indirect
crates.iotime-core0.1.9indirect
crates.iotime-macros0.2.31indirect
crates.iotiny_httpindirect
crates.iotiny_http0.12.0indirect
crates.iotinystr0.8.3indirect
crates.iotinyvec1.12.0indirect
crates.iotinyvec_macros0.1.1indirect
crates.iotokio1.53.0indirect
crates.iotokio-postgres0.7.18indirect
crates.iotokio-util0.7.18indirect
crates.iottf-parser0.25.1indirect
crates.iotungstenite0.29.0indirect
crates.iotypeid1.0.3indirect
crates.iotypenum1.20.1indirect
crates.iouiautomationindirect
crates.iouiautomation0.24.4indirect
crates.iouiautomation_derive0.7.8indirect
crates.iounicode-bidi0.3.18indirect
crates.iounicode-ident1.0.24indirect
crates.iounicode-normalization0.1.25indirect
crates.iounicode-properties0.1.4indirect
crates.iounicode-segmentation1.13.3indirect
crates.iounindent0.2.4indirect
crates.iounsafe-libyaml0.2.11indirect
crates.iountrusted0.9.0indirect
crates.ioureq-proto0.6.0indirect
crates.iourl2.5.8indirect
crates.ioutf8-zero0.8.1indirect
crates.ioutf8_iter1.0.4indirect
crates.ioutf8parse0.2.2indirect
crates.iouuid-simd0.8.0indirect
crates.ioversion_check0.9.5indirect
crates.iovsimd0.8.0indirect
crates.iowalkdir2.5.0indirect
crates.iowasi0.11.1+wasi-snapshot-preview1indirect
crates.iowasi0.14.7+wasi-0.2.4indirect
crates.iowasip21.0.4+wasi-0.2.12indirect
crates.iowasite1.0.2indirect
crates.iowasm-bindgen0.2.126indirect
crates.iowasm-bindgen-macro0.2.126indirect
crates.iowasm-bindgen-macro-support0.2.126indirect
crates.iowasm-bindgen-shared0.2.126indirect
crates.ioweb-sys0.3.103indirect
crates.iowebpki-root-certs1.0.9indirect
crates.iowebpki-roots1.0.9indirect
crates.ioweezl0.1.12indirect
crates.iowhich8.0.5indirect
crates.iowhoami2.1.2indirect
crates.iowide0.7.33indirect
crates.iowinapi0.3.9indirect
crates.iowinapi-i686-pc-windows-gnu0.4.0indirect
crates.iowinapi-util0.1.11indirect
crates.iowinapi-x86_64-pc-windows-gnu0.4.0indirect
crates.iowindowsindirect
crates.iowindows0.62.2indirect
crates.iowindows-collections0.3.2indirect
crates.iowindows-core0.62.2indirect
crates.iowindows-future0.3.2indirect
crates.iowindows-implement0.60.2indirect
crates.iowindows-interface0.59.3indirect
crates.iowindows-link0.2.1indirect
crates.iowindows-numerics0.3.1indirect
crates.iowindows-result0.4.1indirect
crates.iowindows-strings0.5.1indirect
crates.iowindows-sys0.45.0indirect
crates.iowindows-sys0.52.0indirect
crates.iowindows-sys0.61.2indirect
crates.iowindows-targets0.42.2indirect
crates.iowindows-targets0.52.6indirect
crates.iowindows-threading0.2.1indirect
crates.iowindows_aarch64_gnullvm0.42.2indirect
crates.iowindows_aarch64_gnullvm0.52.6indirect
crates.iowindows_aarch64_msvc0.42.2indirect
crates.iowindows_aarch64_msvc0.52.6indirect
crates.iowindows_i686_gnu0.42.2indirect
crates.iowindows_i686_gnu0.52.6indirect
crates.iowindows_i686_gnullvm0.52.6indirect
crates.iowindows_i686_msvc0.42.2indirect
crates.iowindows_i686_msvc0.52.6indirect
crates.iowindows_x86_64_gnu0.42.2indirect
crates.iowindows_x86_64_gnu0.52.6indirect
crates.iowindows_x86_64_gnullvm0.42.2indirect
crates.iowindows_x86_64_gnullvm0.52.6indirect
crates.iowindows_x86_64_msvc0.42.2indirect
crates.iowindows_x86_64_msvc0.52.6indirect
crates.iowinreg0.56.0indirect
crates.iowit-bindgen0.57.1indirect
crates.iowriteable0.6.3indirect
crates.ioyoke0.8.3indirect
crates.ioyoke-derive0.8.2indirect
crates.iozerocopy0.8.54indirect
crates.iozerocopy-derive0.8.54indirect
crates.iozerofrom0.1.8indirect
crates.iozerofrom-derive0.1.7indirect
crates.iozeroize1.9.0indirect
crates.iozerotrie0.2.4indirect
crates.iozerovec0.11.6indirect
crates.iozerovec-derive0.11.3indirect
crates.iozmij1.0.23indirect
npm@automators/flowproof-cli-darwin-arm640.12.2indirect
npm@automators/flowproof-cli-darwin-x640.12.2indirect
npm@automators/flowproof-cli-linux-x640.12.2indirect
npm@automators/flowproof-cli-win32-x640.12.2indirect
PyPIannotated-types0.7.0indirect
PyPIanyio4.14.2indirect
PyPIattrs26.1.0indirect
PyPIbackports-asyncio-runner1.2.0indirect
PyPIcertifi2026.6.17indirect
PyPIcffi2.1.0indirect
PyPIclick8.4.2indirect
PyPIcolorama0.4.6indirect
PyPIcryptography49.0.0indirect
PyPIexceptiongroup1.3.1indirect
PyPIflowproof0.12.2indirect
PyPIh110.16.0indirect
PyPIhttpcore1.0.9indirect
PyPIhttpx0.28.1indirect
PyPIhttpx-sse0.4.3indirect
PyPIidna3.18indirect
PyPIiniconfig2.1.0indirect
PyPIiniconfig2.3.0indirect
PyPIjsonschema4.26.0indirect
PyPIjsonschema-specifications2025.9.1indirect
PyPImcp1.28.1indirect
PyPIpackaging26.2indirect
PyPIpluggy1.6.0indirect
PyPIpycparser3.0indirect
PyPIpydantic2.13.4indirect
PyPIpydantic-core2.46.4indirect
PyPIpydantic-settings2.14.2indirect
PyPIpygments2.20.0indirect
PyPIpyjwt2.13.0indirect
PyPIpytest8.4.2indirect
PyPIpytest9.1.1indirect
PyPIpytest-asyncio1.2.0indirect
PyPIpytest-asyncio1.4.0indirect
PyPIpython-dotenv1.2.2indirect
PyPIpython-multipart0.0.32indirect
PyPIpywin32312indirect
PyPIreferencing0.37.0indirect
PyPIrpds-py0.30.0indirect
PyPIrpds-py2026.6.3indirect
PyPIruff0.15.22indirect
PyPIsse-starlette3.4.5indirect
PyPIstarlette1.3.1indirect
PyPItomli2.4.1indirect
PyPItyping-extensions4.16.0indirect
PyPItyping-inspection0.4.2indirect
PyPIuvicorn0.51.0indirect
Dependency advisories 5

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

PackageVersionRelationSeverityAdvisoriesFixed in
pyo30.26.0directhigh40.29.0
cryptography49.0.0indirectmoderate150.0.0
pytest8.4.2indirectmoderate29.0.3
paste1.0.15indirectunknown1
ttf-parser0.25.1indirectunknown1

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.

The message is kept through sign-in.

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.30.0 — full methodology · metrics wiki.

How one result sits in the wider record: aggregate statisticsnpm, PyPI.