Public record
Software health reportschema 0.31.0 · metrics 2.10.0 · 2026-08-13 00:17 UTC

dafny-lang / dafny

Dafny is a verification-aware programming language

C# · DafnyCustom license★ 3,496 stars⑂ 322 forkssince Apr 2016View on GitHub ↗
KindCommand-line toolhow this is determined
#programming-language#verification

dafny-lang/dafny holds a health index of 95 out of 100, placing it in the Exceptional band. It scores highest on Engineering Quality (99/100) and lowest on Security (69/100). It was last updated 3 days ago. 5 contributors account for most of its recent work.

95
overall / 100
Exceptional

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.

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

Ownership

DafnyOrganization
94 followers22 public repossince Jun 2019

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?

70Good · 21% of overall

Development activity

81Excellent
How it's scored
36/36Push recency — last push 3 days ago
18.7/36Commit cadence — 27/52 weeks with commits
16.5/18Commit volume — 68 commits in the last year
10/10OpenSSF Scorecard: Maintained — 11 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 10
Inputs used
commits_last_year68
human_commit_share0.77
days_since_last_push3
active_weeks_last_year27

Release discipline

54Moderate
How it's scored
27/27Ships releases — 52 releases published
0/36Release recency — latest release 1,497 days ago
27/27Release cadence — a release every ~-68.6 days
0/10OpenSSF Scorecard: Signed-Releases — Project has not signed or included provenance with any releases.
Inputs used
releases_count52
latest_release_tagnightly
releases_from_tagsno
days_since_latest_release1,497
mean_days_between_releases-68.6

Community & Adoption

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

88Excellent · 17% of overall

Popularity & adoption

89Excellent
How it's scored
57.5/60Stars — 3,496 stars
20.9/25Forks — 322 forks
10.4/15Watchers — 74 watchers
Inputs used
forks322
stars3,496
watchers74
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

Community health

86Excellent
How it's scored
22.5/22.5README
16.9/22.5License — license file present, not a recognized license
18/18CONTRIBUTING guide
13.5/13.5Code of conduct
0/7.2Issue template
6.3/6.3PR template
Inputs used
has_readmeyes
has_licenseyes
readme_badges1
has_contributingyes
has_issue_templateno
has_code_of_conductyes
readme_badge_servicesgithub.com
has_pull_request_templateyes

Sustainability & Governance

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

83Excellent · 23% of overall

Maintainer resilience (bus factor)

88Excellent
How it's scored
45.9/54Bus factor — 5 contributor(s) cover half of all commits
18.1/22.5Commit distribution — top contributor authored 19% of commits
13.5/13.5Contributor breadth — 99 contributors
10/10OpenSSF Scorecard: Contributors — project has 34 contributing companies or organizations
Inputs used
bus_factor5
contributors_sampled99
top_contributor_share0.194

Issue & PR responsiveness

77Good
How it's scored
25.5/42Issue resolution — 61% of issues closed
26.8/30PR acceptance — 2,852/3,197 decided PRs merged
0/13Newcomer PR acceptance — no first-time contributor's PR decided in 30d
15/15OpenSSF Scorecard: Code-Review — all changesets reviewed
Inputs used
merged_prs2,852
open_issues1,175
closed_issues1,812
prs_merged_7d0
prs_decided_7d0
prs_merged_30d1
prs_decided_30d2
issue_closed_ratio0.607
closed_unmerged_prs345
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.

Ownership & stewardship

83Excellent
How it's scored
30/30Ownership backing — organization-owned
0/20Verified domain — verified-domain status not read for this organization
14.2/25Owner reach — 94 followers of dafny-lang
21.9/25Track record — 22 public repos, account ~7 yr old
Inputs used
followers94
owner_typeOrganization
is_verified—
owner_logindafny-lang
public_repos22
account_age_days2,601
Excluded from scoring (no data or not applicable): Verified domain. Remaining weights renormalized.

Engineering Quality

Are baseline engineering and documentation practices in place?

99Exceptional · 19% of overall

Engineering practices

98Exceptional
How it's scored
24/24CI workflows — 18 workflow(s)
24/24Tests present
16/16Linter config
9.6/9.6Pre-commit hooks
6.4/6.4.editorconfig
18/20OpenSSF Scorecard: CI-Tests — 28 out of 30 merged PRs checked by a CI test -- score normalized to 9
Inputs used
has_ciyes
has_testsyes
has_editorconfigyes
has_linter_configyes
has_precommit_configyes

Documentation

100Exceptional
How it's scored
30/30README
25/25Documentation directory
15/15Documentation / homepage site — https://dafny.org
10/10Repository description
10/10Topics — 2 topics
10/10Wiki
Inputs used
topicsprogramming-language, verification
has_wikiyes
homepagehttps://dafny.org
docs_sitehttps://dafny.org
has_readmeyes
has_docs_diryes
has_descriptionyes

Security

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

69Good · 16% of overall

Security posture

61Moderate
How it's scored
5.2/7.5Binary-Artifacts — binaries present in source code
0/7.5Branch-Protection — no data
2.2/2.5CI-Tests — 28 out of 30 merged PRs checked by a CI test -- score normalized to 9
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
7.5/7.5Code-Review — all changesets reviewed
2.5/2.5Contributors — project has 34 contributing companies or organizations
10/10Dangerous-Workflow — no dangerous workflow patterns detected
7.5/7.5Dependency-Update-Tool — update tool detected
0/5Fuzzing — project is not fuzzed
2.2/2.5License — license file detected
7.5/7.5Maintained — 11 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 10
0/5Packaging — no data
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
4.5/5Security-Policy — security policy file 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
7.5/7.5Vulnerabilities — 0 existing vulnerabilities detected
Inputs used
sourceopenssf_scorecard
checks_evaluated16
scorecard_versionv5.5.0
checks_inconclusive2
scorecard_aggregate6.1
Excluded from scoring (no data or not applicable): Branch-Protection, Packaging. Remaining weights renormalized.

Dependency advisories

100Exceptional
How it's scored
35/35Direct dependencies free of known advisories — no direct dependency carries a known advisory
0/25Indirect dependencies free of known advisories — transitive set not separable from development and test dependencies in this scope
0/40No advisories left outstanding — no advisory carries a publication date
Inputs used
sourceosv
advisories0
affected_packages0
assessed_packages116
unassessed_packages1
affected_by_severitynone
direct_affected_packages0
Excluded from scoring (no data or not applicable): Indirect dependencies free of known advisories, No advisories left outstanding. Remaining weights renormalized. Matched 116 resolved dependencies against OSV. 1 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.

74Good · 4% of overall

Agent context & guidance

40Weak
How it's scored
0/45Agent instructions — no CLAUDE.md / AGENTS.md / editor rules
0/15Machine-readable docs (llms.txt)
40/40Legible commit history — 76 of 77 human commits state their intent (structured subject or explanatory body)
Inputs used
has_llms_txtno
llms_txt_url—
legible_history_share0.987
agent_instruction_files—
agent_instruction_max_bytes—

Verify loop (build / test / typecheck)

80Excellent
How it's scored
18/18One-command bootstrap — Makefile, Source/AutoExtern.Test/Tutorial/ClientApp/Makefile, Source/DafnyCore/Makefile, Source/DafnyCore/Prelude/Makefile, Source/DafnyRuntime/DafnyRuntimeDafny/Makefile, Source/DafnyRuntime/DafnyRuntimeGo-gomod/Makefile, Source/DafnyRuntime/DafnyRuntimeGo/Makefile, Source/DafnyRuntime/DafnyRuntimeJava/Makefile, Source/DafnyRuntime/DafnyRuntimeJs/Makefile, Source/DafnyRuntime/DafnyRuntimePython/Makefile, Source/DafnyRuntime/DafnyRuntimeRust/Makefile, Source/DafnyRuntime/Makefile, Source/DafnyStandardLibraries/Makefile, Source/DafnyStandardLibraries/src/Std/TargetSpecific/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/c++/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/Makefile, docs/DafnyRef/Makefile
22/22Automated tests
11/11Lint / format config
11/11Static type checking — C# (statically typed)
10/10Reproducible environment — lockfile
0/10Demonstrated agent practice — no agent-authored commits among the last 100
8/8Automated maintenance — 23 of the last 100 commits are automated dependency updates
0/10OpenSSF Scorecard: Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
Inputs used
has_nixno
has_testsyes
lockfilesCargo.lock, Gemfile.lock, go.sum
has_dockerfileno
typed_languageyes
bootstrap_filesMakefile, Source/AutoExtern.Test/Tutorial/ClientApp/Makefile, Source/DafnyCore/Makefile, Source/DafnyCore/Prelude/Makefile, Source/DafnyRuntime/DafnyRuntimeDafny/Makefile, Source/DafnyRuntime/DafnyRuntimeGo-gomod/Makefile, Source/DafnyRuntime/DafnyRuntimeGo/Makefile, Source/DafnyRuntime/DafnyRuntimeJava/Makefile, Source/DafnyRuntime/DafnyRuntimeJs/Makefile, Source/DafnyRuntime/DafnyRuntimePython/Makefile, Source/DafnyRuntime/DafnyRuntimeRust/Makefile, Source/DafnyRuntime/Makefile, Source/DafnyStandardLibraries/Makefile, Source/DafnyStandardLibraries/src/Std/TargetSpecific/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/c++/Makefile, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/Makefile, docs/DafnyRef/Makefile
has_devcontainerno
has_linter_configyes
typecheck_configs—
agent_commit_share0
toolchain_manifestsSource/AutoExtern.Test/AutoExtern.Test.csproj, Source/AutoExtern.Test/Minimal/Library.csproj, Source/AutoExtern.Test/Tutorial/ClientApp/ClientApp.csproj, Source/AutoExtern.Test/Tutorial/Library/Library.csproj, Source/AutoExtern/AutoExtern.csproj, Source/Dafny/Dafny.csproj, Source/DafnyBenchmarkingPlugin/DafnyBenchmarkingPlugin.csproj, Source/DafnyCore.Test/DafnyCore.Test.csproj, Source/DafnyCore/DafnyCore.csproj, Source/DafnyDriver.Test/DafnyDriver.Test.csproj, Source/DafnyDriver/DafnyDriver.csproj, Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj, Source/DafnyLanguageServer/DafnyLanguageServer.csproj, Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj, Source/DafnyPipeline/DafnyPipeline.csproj, Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj, Source/DafnyRuntime.Tests/DafnyRuntimeRustTest/Cargo.toml, Source/DafnyRuntime/DafnyRuntime.csproj, Source/DafnyRuntime/DafnyRuntimeGo-gomod/go.mod, Source/DafnyRuntime/DafnyRuntimeJava/build.gradle, Source/DafnyRuntime/DafnyRuntimeRust/Cargo.toml, Source/DafnyServer/DafnyServer.csproj, Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj, Source/DafnyTestGeneration/DafnyTestGeneration.csproj, Source/IntegrationTests/IntegrationTests.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/DafnyTests/RunAllTests/RunAllTests.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/DafnyTests/TestAttribute/TestAttribute.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/benchmarks/sequence-race/java/build.gradle.kts, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/manualcompile/ManualCompile.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/arc/tokiouser-rust/Cargo.toml, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/translate-additional/project_depending_on_dafny/Cargo.toml, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/separate-compilation/Inputs/producer/TimesTwo.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/separate-compilation/consumer/Consumer.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/examples/Simple_compiler/csharp/SimpleCompiler.csproj, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/DafnyModule1/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/multimodule/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/publishedruntime/go.mod, Source/IntegrationTests/TestFiles/LitTests/LitTest/gomodule/singlemodule/dafnysource/go.mod, Source/Scripts/Scripts.csproj, Source/TestDafny/TestDafny.csproj, Source/XUnitExtensions/XUnitExtensions.csproj
dependency_bot_commit_share0.23

Code legibility for models

98Exceptional
How it's scored
45/45Type-checkable code — C# (statically typed)
53.4/55Manageable file sizes — 34/1,146 source files over 60KB
Inputs used
primary_languageC#
largest_source_bytes444,150
source_files_sampled1,146
oversized_source_files34

Machine-readable interfaces

100Exceptional
How it's scored
0/40API schema (OpenAPI/GraphQL/proto) — not applicable to this kind of software
0/20MCP server — not applicable to this kind of software
40/40Runnable examples — examples
Inputs used
example_dirsexamples
has_mcp_signalno
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

3,496GitHub stars
99contributors
68commits, last 12 months
3days since last push
52releases
5bus factor
1,175open issues
RubyGemspackage ecosystems

Data collection warnings

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

More detail

Star and fork history 0 ★ / 322 ⇿
0Stars
322Forks
51Releases

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.

012525037530672016-072021-072026-07
Major 3Minor 27Patch 13

Each point covers 10 days.

OpenSSF Scorecard 6.1 / 10
6.1aggregate

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-13 00:16 UTC

7Binary-Artifactsbinaries present in source code
n/aBranch-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
9CI-Tests28 out of 30 merged PRs checked by a CI test -- score normalized to 9
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
10Code-Reviewall changesets reviewed
10Contributorsproject has 34 contributing companies or organizations
10Dangerous-Workflowno dangerous workflow patterns detected
10Dependency-Update-Toolupdate tool detected
0Fuzzingproject is not fuzzed
9Licenselicense file detected
10Maintained11 commit(s) and 11 issue activity found in the last 90 days -- score normalized to 10
n/aPackagingpackaging workflow not detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTSAST tool is not run on all commits -- score normalized to 0
9Security-Policysecurity policy file detected
0Signed-ReleasesProject has not signed or included provenance with any releases.
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
10Vulnerabilities0 existing vulnerabilities detected
Direct dependencies 103
RegistryPackageVersion constraintManifest
NuGetMicrosoft.NET.Test.Sdk16.11.0Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetxunit2.4.2Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetcoverlet.collector3.2.0Source/AutoExtern.Test/AutoExtern.Test.csproj
NuGetMicrosoft.Build17.0.0Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Framework17.14.28Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Locator1.4.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Tasks.Core17.14.28Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.Build.Utilities.Core17.14.28Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis.CSharp4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis.CSharp.Workspaces4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.CodeAnalysis.Workspaces.MSBuild4.0.1Source/AutoExtern/AutoExtern.csproj
NuGetSystem.CommandLine2.0.0-beta4.22272.1Source/AutoExtern/AutoExtern.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetxunit2.4.1Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyCore.Test/DafnyCore.Test.csproj
NuGetJetBrains.Annotations2021.1.0Source/DafnyCore/DafnyCore.csproj
NuGetMicrosoft.Extensions.FileSystemGlobbing5.0.0Source/DafnyCore/DafnyCore.csproj
NuGetMicrosoft.Extensions.Logging.Abstractions5.0.0Source/DafnyCore/DafnyCore.csproj
NuGetNJsonSchema11.1.0Source/DafnyCore/DafnyCore.csproj
NuGetNJsonSchema.Annotations11.1.0Source/DafnyCore/DafnyCore.csproj
NuGetOmniSharp.Extensions.LanguageServer0.19.5Source/DafnyCore/DafnyCore.csproj
NuGetRangeTree3.0.1Source/DafnyCore/DafnyCore.csproj
NuGetSerilog2.12.0Source/DafnyCore/DafnyCore.csproj
NuGetSystem.CommandLine2.0.0-beta4.22272.1Source/DafnyCore/DafnyCore.csproj
NuGetSystem.Runtime.Numerics4.3.0Source/DafnyCore/DafnyCore.csproj
NuGetSystem.Collections.Immutable1.7.1Source/DafnyCore/DafnyCore.csproj
NuGetBoogie.ExecutionEngine3.5.5Source/DafnyCore/DafnyCore.csproj
NuGetTomlyn0.17.0Source/DafnyCore/DafnyCore.csproj
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetOmniSharp.Extensions.JsonRpc0.19.5Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetOmniSharp.Extensions.LanguageProtocol0.19.5Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetxunit2.4.2Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetXunit.AssertMessages2.4.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetxunit.extensibility.core2.4.2Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyDriver.Test/DafnyDriver.Test.csproj
NuGetMicrosoft.TestPlatform.Extensions.TrxLogger17.9.0Source/DafnyDriver/DafnyDriver.csproj
NuGetMicrosoft.TestPlatform.TestHost17.9.0Source/DafnyDriver/DafnyDriver.csproj
NuGetNewtonsoft.Json13.0.3Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Security.Principal.Windows4.6.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Collections4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Diagnostics.Debug4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.IO.FileSystem.Primitives4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Runtime.Handles4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Runtime.InteropServices4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Text.Encoding.Extensions4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetSystem.Threading4.3.0Source/DafnyDriver/DafnyDriver.csproj
NuGetDiffPlex1.7.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.Extensions.Logging.Console5.0.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMoq4.16.1Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetSerilog.Sinks.InMemory0.11.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetxunit2.4.2Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetxunit.extensibility.core2.4.2Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetXunit.AssertMessages2.4.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetOmniSharp.Extensions.LanguageProtocol.Testing0.19.5Source/DafnyLanguageServer.Test/DafnyLanguageServer.Test.csproj
NuGetMicrosoft.Extensions.Configuration.CommandLine5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetMicrosoft.Extensions.Configuration.Json5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetMicrosoft.Extensions.Logging5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetNewtonsoft.Json13.0.3Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetRangeTree3.0.1Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog2.12.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Extensions.Logging3.0.1Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Settings.Configuration3.1.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Sinks.Debug2.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSerilog.Sinks.File5.0.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.Runtime.Handles4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.Collections4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.Diagnostics.Debug4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetSystem.IO.FileSystem.Primitives4.3.0Source/DafnyLanguageServer/DafnyLanguageServer.csproj
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetDiffPlex1.7.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetxunit2.4.2Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyPipeline.Test/DafnyPipeline.Test.csproj
NuGetMicrosoft.NET.Test.Sdk16.11.0Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetxunit2.4.2Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetcoverlet.collector3.2.0Source/DafnyRuntime.Tests/DafnyRuntime.Tests.csproj
NuGetSystem.Runtime.Numerics4.3.0Source/DafnyRuntime/DafnyRuntime.csproj
NuGetSystem.Collections.Immutable1.7.0Source/DafnyRuntime/DafnyRuntime.csproj
NuGetMicrosoft.NET.Test.Sdk17.1.0Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetxunit2.4.2Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetxunit.extensibility.core2.4.2Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetxunit.runner.visualstudio2.4.3Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetcoverlet.collector3.2.0Source/DafnyTestGeneration.Test/DafnyTestGeneration.Test.csproj
NuGetMicrosoft.NET.Test.Sdk16.11.0Source/IntegrationTests/IntegrationTests.csproj
NuGetxunit2.4.2Source/IntegrationTests/IntegrationTests.csproj
NuGetxunit.runner.visualstudio2.5.1Source/IntegrationTests/IntegrationTests.csproj
NuGetcoverlet.collector3.2.0Source/IntegrationTests/IntegrationTests.csproj
NuGetSystem.CommandLine2.0.0-beta4.22272.1Source/Scripts/Scripts.csproj
NuGetMicrosoft.CodeAnalysis4.12.0Source/Scripts/Scripts.csproj
NuGetCommandLineParser2.9.1Source/TestDafny/TestDafny.csproj
NuGetxunit2.4.2Source/TestDafny/TestDafny.csproj
NuGetxunit.runner.visualstudio2.4.3Source/TestDafny/TestDafny.csproj
All dependencies 117

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

RegistryPackageVersionRelation
NuGetBoogie.ExecutionEngine3.5.5direct
NuGetCommandLineParser2.8.0direct
NuGetCommandLineParser2.9.1direct
NuGetcoverlet.collector3.2.0direct
NuGetDiffPlex1.7.0direct
NuGetJetBrains.Annotations2021.1.0direct
NuGetMicrosoft.Build17.0.0direct
NuGetMicrosoft.Build.Framework17.14.28direct
NuGetMicrosoft.Build.Locator1.4.1direct
NuGetMicrosoft.Build.Tasks.Core17.14.28direct
NuGetMicrosoft.Build.Utilities.Core17.14.28direct
NuGetMicrosoft.CodeAnalysis4.0.1direct
NuGetMicrosoft.CodeAnalysis4.12.0direct
NuGetMicrosoft.CodeAnalysis.CSharp3.7.0direct
NuGetMicrosoft.CodeAnalysis.CSharp4.0.1direct
NuGetMicrosoft.CodeAnalysis.CSharp.Workspaces4.0.1direct
NuGetMicrosoft.CodeAnalysis.Workspaces.MSBuild4.0.1direct
NuGetMicrosoft.Extensions.Configuration.CommandLine5.0.0direct
NuGetMicrosoft.Extensions.Configuration.Json5.0.0direct
NuGetMicrosoft.Extensions.FileSystemGlobbing5.0.0direct
NuGetMicrosoft.Extensions.Logging5.0.0direct
NuGetMicrosoft.Extensions.Logging.Abstractions5.0.0direct
NuGetMicrosoft.Extensions.Logging.Console5.0.0direct
NuGetMicrosoft.NET.Test.Sdk16.10.0direct
NuGetMicrosoft.NET.Test.Sdk16.11.0direct
NuGetMicrosoft.NET.Test.Sdk16.9.4direct
NuGetMicrosoft.NET.Test.Sdk17.1.0direct
NuGetMicrosoft.TestPlatform.Extensions.TrxLogger17.9.0direct
NuGetMicrosoft.TestPlatform.TestHost17.9.0direct
NuGetMoq4.16.1direct
NuGetNewtonsoft.Json13.0.3direct
NuGetNJsonSchema11.1.0direct
NuGetNJsonSchema.Annotations11.1.0direct
NuGetOmniSharp.Extensions.JsonRpc0.19.5direct
NuGetOmniSharp.Extensions.LanguageProtocol0.19.5direct
NuGetOmniSharp.Extensions.LanguageProtocol.Testing0.19.5direct
NuGetOmniSharp.Extensions.LanguageServer0.19.5direct
NuGetRangeTree3.0.1direct
NuGetSerilog2.12.0direct
NuGetSerilog.Extensions.Logging3.0.1direct
NuGetSerilog.Settings.Configuration3.1.0direct
NuGetSerilog.Sinks.Debug2.0.0direct
NuGetSerilog.Sinks.File5.0.0direct
NuGetSerilog.Sinks.InMemory0.11.0direct
NuGetSystem.Collections4.3.0direct
NuGetSystem.Collections.Immutable1.7.0direct
NuGetSystem.Collections.Immutable1.7.1direct
NuGetSystem.CommandLine2.0.0-beta4.22272.1direct
NuGetSystem.Diagnostics.Debug4.3.0direct
NuGetSystem.IO.FileSystem.Primitives4.3.0direct
NuGetSystem.Runtime.Handles4.3.0direct
NuGetSystem.Runtime.InteropServices4.3.0direct
NuGetSystem.Runtime.Numerics4.3.0direct
NuGetSystem.Security.Principal.Windows4.6.0direct
NuGetSystem.Text.Encoding.Extensions4.3.0direct
NuGetSystem.Threading4.3.0direct
NuGettomlyn0.17.0direct
NuGetxunit2.4.1direct
NuGetxunit2.4.2direct
NuGetXunit.AssertMessages2.4.0direct
NuGetxunit.extensibility.core2.4.2direct
NuGetxunit.runner.visualstudio2.4.3direct
NuGetxunit.runner.visualstudio2.5.1direct
crates.ioautocfg1.1.0indirect
crates.ioautocfg1.3.0indirect
crates.ioeither1.13.0indirect
crates.ioeither1.9.0indirect
crates.ioitertools0.14.0indirect
crates.ionum0.4.3indirect
crates.ionum-bigint0.4.6indirect
crates.ionum-complex0.4.6indirect
crates.ionum-integer0.1.46indirect
crates.ionum-iter0.1.45indirect
crates.ionum-rational0.4.2indirect
crates.ionum-traits0.2.19indirect
crates.ioonce_cell1.21.3indirect
Gogithub.com/dafny-lang/dafnyruntimego/v44.0.0-20231204230030-1d44519b5706indirect
Gogithub.com/dafny-lang/dafnyruntimego/v44.8.0indirect
Gogomodule10.0.0indirect
NuGetAntlr4.CodeGenerator4.6.6indirect
NuGetAntlr4.Runtime4.6.6indirect
NuGetSystem.Runtime4.3.1indirect
NuGetXunit.SkippableFact1.4.8indirect
PyPIdafnyruntimepython—indirect
RubyGemsaddressable2.9.0indirect
RubyGemscolorator1.1.0indirect
RubyGemsconcurrent-ruby1.3.7indirect
RubyGemsem-websocket0.5.3indirect
RubyGemseventmachine1.2.7indirect
RubyGemsffi1.16.3indirect
RubyGemsforwardable-extended2.6.0indirect
RubyGemsgoogle-protobuf3.25.5indirect
RubyGemshttp_parser.rb0.8.0indirect
RubyGemsi18n1.14.1indirect
RubyGemsjekyll4.3.3indirect
RubyGemsjekyll-feed0.17.0indirect
RubyGemsjekyll-numbered-headings0.1.1indirect
RubyGemsjekyll-sass-converter3.0.0indirect
RubyGemsjekyll-seo-tag2.8.0indirect
RubyGemsjekyll-watch2.2.1indirect
RubyGemskramdown2.4.0indirect
RubyGemskramdown-parser-gfm1.1.0indirect
RubyGemsliquid4.0.4indirect
RubyGemslisten3.8.0indirect
RubyGemsmercenary0.4.0indirect
RubyGemsminima2.5.1indirect
RubyGemspathutil0.16.2indirect
RubyGemspublic_suffix7.0.5indirect
RubyGemsrb-fsevent0.11.2indirect
RubyGemsrb-inotify0.10.1indirect
RubyGemsrexml3.4.2indirect
RubyGemsrouge4.2.0indirect
RubyGemssafe_yaml1.0.5indirect
RubyGemssass-embedded1.69.7indirect
RubyGemsterminal-table3.0.2indirect
RubyGemsunicode-display_width2.5.0indirect
RubyGemswebrick1.8.2indirect
Dependency advisories 0

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

No known advisories affect the assessed dependencies.

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.

Related records

Inspected repositories sharing catalogue tags or ecosystems with dafny-lang/dafny. Read them side by side →

83assura-lang/assuraContract-first AI-native language. Write what it should do. AI proves it does.Excellent19leanprover/lean3Lean Theorem ProverCritical94pact-foundation/pact_brokerEnables your consumer driven contracts workflowExceptional42akashmaji946/go-mix**Go-Mix** is a high-performance, interpreted programming language implemented in Go. It combines dynamic typing with static safety features, lexical closures, and a comprehensive standard library—perfect for prototyping, education, and embedding as a scripting layer in Go/JS applications.Weak14grempe/sirpSecure (interoperable) Remote Password Auth (SRP-6a)Critical99trufflesecurity/trufflehogFind, verify, and analyze leaked credentialsExceptional

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

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