可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
67,766
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
547B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
60 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
类型
仓库构建的是什么——库、应用程序、宿主扩展。证据无法作答的仓库归入「未分类」。
Hex
bitwalker/libcluster
Automatic cluster formation/healing for Elixir applications
MIT2026年7月21日 · 指标 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.02026年7月19日 · 指标 2.10.0
PyPI · crates.io
wasmerio/wasmer-python
🐍🕸 WebAssembly runtime for Python
MIT2026年8月13日 · 指标 2.10.0
npm
taylorhakes/promise-polyfill
Lightweight ES6 Promise polyfill for the browser and node. A+ Compliant
MIT2026年8月13日 · 指标 2.10.0
npm
alexei/sprintf.js
sprintf.js is a complete open source JavaScript sprintf implementation
BSD-3-Clause2026年8月4日 · 指标 2.10.0
Go
cespare/xxhash
A Go implementation of the 64-bit xxHash algorithm (XXH64)
MIT2026年7月28日 · 指标 2.10.0
npm
kubeshop/monokle
Monokle is a set of OSS tools designed to help create and maintain high-quality Kubernetes configurations throughout the application lifecycle
MIT2026年7月24日 · 指标 2.10.0
npm
davidbau/seedrandom
seeded random number generator for Javascript
无许可证2026年8月13日 · 指标 2.10.0
—
corecoding/Vitals
A glimpse into your computer's temperature, voltage, fan speed, memory usage and CPU load.
GPL-2.02026年7月20日 · 指标 2.10.0
PyPI
GongRzhe/Office-Word-MCP-Server
A Model Context Protocol (MCP) server for creating, reading, and manipulating Microsoft Word documents. This server enables AI assistants to work with Word documents through a standardized interface, providing rich document editing capabilities.
MIT2026年8月13日 · 指标 2.10.0
npm
FormidableLabs/react-swipeable
React swipe event handler hook
MIT2026年8月27日 · 指标 2.10.0
PyPI
PyFilesystem/pyfilesystem2
Python's Filesystem abstraction layer
MIT2026年7月21日 · 指标 2.10.0
PyPI
RobertCraigie/prisma-client-py
Prisma Client Python is an auto-generated and fully type-safe database client designed for ease of use
Apache-2.02026年8月13日 · 指标 2.10.0
Packagist
beberlei/DoctrineExtensions
A set of Doctrine 2 extensions
自定义许可证2026年7月25日 · 指标 2.10.0
NuGet
prometheus-net/prometheus-net
.NET library to instrument your code with Prometheus metrics
MIT2026年7月28日 · 指标 2.10.0
npm
msaktype/stylefmt
stylefmt is a tool that automatically formats stylesheets.
自定义许可证2026年7月23日 · 指标 2.10.0
PyPI
pallets-eco/blinker
A fast Python in-process signal/event dispatching system.
MIT2026年8月4日 · 指标 2.10.0
Go
sergi/go-diff
Diff, match and patch text in Go
MIT2026年7月28日 · 指标 2.10.0
PyPI
pydoit/doit
CLI task management & automation tool
MIT2026年8月13日 · 指标 2.10.0
crates.io
rust-random/rand
A Rust library for random number generation.
自定义许可证2026年9月5日 · 指标 2.10.0
npm
taylorhakes/fecha
Lightweight and simple JS date formatting and parsing
MIT2026年8月13日 · 指标 2.10.0
PyPI
sybrenjansen/mpire
A Python package for easy multiprocessing, but faster than multiprocessing
MIT2026年8月27日 · 指标 2.10.0
PyPI
fugue/credstash
A little utility for managing credentials in the cloud
Apache-2.02026年8月13日 · 指标 2.10.0
Packagist
Behat/Transliterator
Behat Transliterator library inherited from Doctrine1 and used in Behat for snippet generation
自定义许可证2026年7月30日 · 指标 2.10.0
Go
go-critic/go-critic
The most opinionated Go source code linter for code audit.
MIT2026年8月4日 · 指标 2.10.0
Packagist
spiral/framework
High-Performance PHP Framework
MIT2026年7月20日 · 指标 2.10.0
RubyGems
rails/arel
A Relational Algebra
无许可证2026年7月22日 · 指标 2.10.0
npm
epoberezkin/fast-deep-equal
The fastest deep equality check with Date, RegExp and ES6 Map, Set and typed arrays support
MIT2026年8月4日 · 指标 2.10.0
Maven
airsonic/airsonic
:satellite: :cloud: :notes:Airsonic, a Free and Open Source community driven media server (fork of Subsonic and Libresonic)
GPL-3.02026年7月23日 · 指标 2.10.0
Packagist
matthiasmullie/minify
CSS & JavaScript minifier, in PHP. Removes whitespace, strips comments, combines files (incl. @import statements and small assets in CSS files), and optimizes/shortens a few common programming patterns.
MIT2026年8月3日 · 指标 2.10.0