可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
82,023
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
622B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
59 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
npm · PyPI · crates.io
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.
Apache-2.02026年9月16日 · 指标 2.10.0
Packagist
axolotl-pm/BedrockProtocol
An implementation of the Minecraft: Bedrock Edition protocol in PHP
LGPL-3.02026年9月17日 · 指标 2.10.0
crates.io · npm
baicie/zeus
尝试一下Zeus大概
无许可证2026年9月20日 · 指标 2.10.0
npm
balena-io-modules/network-checker
该仓库未发布描述。
无许可证2026年9月17日 · 指标 2.10.0
npm
banyandata-cloud/roots
Components and Utils Library that powers Banyan Cloud
无许可证2026年9月15日 · 指标 2.10.0
crates.io
bczhc/bzip3-rs
Rust wrapper for bzip3 compression library
LGPL-3.02026年9月15日 · 指标 2.10.0
RubyGems
bdurand/super_settings
SuperSettings provides a scalable framework for managing dynamic runtime application settings with in-memory caching, strong typing, a built-in web UI, and support for multiple storage backends.
MIT2026年9月18日 · 指标 2.10.0
Go
bedrock-gophers/inv
a inventory-menu library for dragonfly, with simplicity in mind
Apache-2.02026年9月18日 · 指标 2.10.0
Go · npm
beetlebugorg/chartplotter
⚓ Marine chart plotter in Go — bakes NOAA S-57 or S-101 ENCs into S-101-portrayed vector tiles and serves them offline from your laptop or a Pi on the boat.
MIT2026年9月18日 · 指标 2.10.0
npm
ben7am1n/dsh-browser
Playwright-powered browser automation for DeepSeek Harness
MIT2026年9月15日 · 指标 2.10.0
NuGet
bfren/jeebs
.NET (C#) libraries for rapid application development.
MIT2026年9月18日 · 指标 2.10.0
npm
bigcommerce/form-poster-js
Post HTML form programmatically
MIT2026年9月20日 · 指标 2.10.0
Go
bikky-kc013/oc-monitor
A real-time terminal UI for monitoring opencode sessions, costs, and usage — built with Bubble Tea.
MIT2026年9月17日 · 指标 2.10.0
npm
binance/binance-toolbox-typescript
Toolbox for typescript connector
MIT2026年9月20日 · 指标 2.10.0
Go
bitomule/mav
Deterministic iOS app validation CLI for AI coding agents.
MIT2026年9月20日 · 指标 2.10.0
RubyGems
bkuhlmann/marameters
A dynamic method parameter inspector.
自定义许可证2026年9月18日 · 指标 2.10.0
Go
blackpaw-studio/leo
CLI tool that sets up and manages Claude Code agents as persistent, proactive personal assistants with Telegram integration and cron scheduling
MIT2026年9月16日 · 指标 2.10.0
Go
blindpaylabs/blindpay-go
Blindpay's Golang SDK.
MIT2026年9月19日 · 指标 2.10.0
crates.io
bluss/rawpointer
Extra methods for raw pointers
Apache-2.02026年9月17日 · 指标 2.10.0
npm
bobbyquantum/ngx-editor
🖋️ Rich Text Editor for angular using ProseMirror
MIT2026年9月18日 · 指标 2.10.0
crates.io
borisfaure/junit-parser
Rust library to parse JUnit XML files
自定义许可证2026年9月17日 · 指标 2.10.0
Go
bpcoder16/Chestnut
Chestnut -- Go 语言业务开发通用功能集合库
MIT2026年9月20日 · 指标 2.10.0
Packagist
brotkrueml/typo3-matomo-widgets
Matomo reports as TYPO3 dashboard widgets
GPL-2.02026年9月20日 · 指标 2.10.0
Go
bsv-blockchain/go-overlay-services
BSV Blockchain Overlay Services Engine written in Go
自定义许可证2026年9月17日 · 指标 2.10.0
Go
buddy/terraform-provider-buddy
Terraform Buddy provider
MPL-2.02026年9月20日 · 指标 2.10.0
npm
bxff/claude-code-subagent-models
该仓库未发布描述。
MIT2026年9月18日 · 指标 2.10.0
Packagist
bytestream/Imap_Client
Horde IMAP Client
LGPL-2.12026年9月21日 · 指标 2.10.0
Go · npm
cacack/my-family
Self-hosted genealogy software combining GPS-compliant research with engaging storytelling
AGPL-3.02026年9月18日 · 指标 2.10.0
Packagist
captainhook-git/hook-installer
Composer Plugin that automates activating yer local CaptainHook git hooks.
MIT2026年9月16日 · 指标 2.10.0
npm
carpiediem/d3-curve-circlecorners
A curve function that can be passed to the d3.js line.curve and area.curve functions
MIT2026年9月18日 · 指标 2.10.0