可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
97,333
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
647B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
59 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
npm · PyPI
kirodotdev/KiroCrew
A persistent workspace for development work that self-improves and continues beyond one session.
Apache-2.02026年10月19日 · 指标 2.10.0
RubyGems
crmne/ruby_llm
The Ruby AI framework.
MIT2026年10月20日 · 指标 2.10.0
Go
jung-kurt/gofpdf
A PDF document generator with high level support for text, drawing and images
MIT2026年10月18日 · 指标 2.10.0
Maven
apache/shiro
Apache Shiro is a powerful and easy-to-use Java security framework that performs authentication, authorization, cryptography, and session management
Apache-2.02026年10月19日 · 指标 2.10.0
Maven
square/wire
gRPC and protocol buffers for Android, Kotlin, Swift and Java.
Apache-2.02026年10月20日 · 指标 2.10.0
PyPI · npm
jupyterlab/jupyter-ai
An open source extension that connects AI agents to computational notebooks in JupyterLab.
BSD-3-Clause2026年10月21日 · 指标 2.10.0
—
canonical/dqlite
Embeddable, replicated and fault-tolerant SQL engine.
自定义许可证2026年10月18日 · 指标 2.10.0
npm
microsoft/flint-chart
🪄 Flint is a visualization language that lets AI agents reliably create expressive, good-looking charts from simple, human-editable chart specs.
MIT2026年10月22日 · 指标 2.10.0
NuGet · PyPI
testcontainers/testcontainers-dotnet
A library to support tests with throwaway instances of Docker containers for all compatible .NET Standard versions.
MIT2026年10月20日 · 指标 2.10.0
crates.io · npm · Go +2
unum-cloud/USearch
Fast Open-Source Search & Clustering engine × for Vectors & Arbitrary Objects × in C++, C, Python, JavaScript, Rust, Java, Objective-C, Swift, C#, GoLang, and Wolfram 🔍
Apache-2.02026年10月20日 · 指标 2.10.0
—
leanprover-community/mathlib4
The math library of Lean 4
Apache-2.02026年10月23日 · 指标 2.10.0
Go · npm
redpanda-data/console
Redpanda Console is a developer-friendly UI for managing your Kafka/Redpanda workloads. Console gives you a simple, interactive approach for gaining visibility into your topics, masking data, managing consumer groups, and exploring real-time data with time-travel debugging.
自定义许可证2026年10月20日 · 指标 2.10.0
Maven
jMonkeyEngine/jmonkeyengine
A complete 3-D game development suite written in Java.
BSD-3-Clause2026年10月19日 · 指标 2.10.0
crates.io
DioxusLabs/blitz
A radically modular HTML/CSS rendering engine
Apache-2.02026年10月20日 · 指标 2.10.0
npm
codeceptjs/CodeceptJS
Supercharged End 2 End Testing Framework for NodeJS
MIT2026年10月21日 · 指标 2.10.0
Maven
GradleUp/shadow
Gradle plugin for creating fat/uber JARs, transforming files, relocating packages, and optimizing with R8/ProGuard. The Gradle counterpart to Maven Shade Plugin.
Apache-2.02026年10月20日 · 指标 2.10.0
Maven
lukas-krecan/ShedLock
Distributed lock for your scheduled tasks
Apache-2.02026年10月19日 · 指标 2.10.0
Go
knadh/koanf
Simple, extremely lightweight, extensible, configuration management library for Go. Supports JSON, TOML, YAML, env, command line, file, S3 etc. Alternative to viper.
MIT2026年10月21日 · 指标 2.10.0
npm
securingsincity/react-ace
React Ace Component
MIT2026年10月21日 · 指标 2.10.0
NuGet · npm
riok/mapperly
A .NET source generator for generating object mappings. No runtime reflection.
Apache-2.02026年10月21日 · 指标 2.10.0
PyPI · npm
mandiant/flare-floss
FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.
Apache-2.02026年10月16日 · 指标 2.10.0
Maven
powermock/powermock
PowerMock is a Java framework that allows you to unit test code normally regarded as untestable.
Apache-2.02026年10月19日 · 指标 2.10.0
Maven
square/kotlinpoet
A Kotlin API for generating .kt source files.
Apache-2.02026年10月19日 · 指标 2.10.0
crates.io · PyPI
xiph/rav1e
The fastest and safest AV1 encoder.
BSD-2-Clause2026年10月20日 · 指标 2.10.0
Go
tdewolff/minify
Go minifiers for web formats
MIT2026年10月21日 · 指标 2.10.0
Go
connectrpc/connect-go
The Go implementation of Connect: Protobuf RPC that works.
Apache-2.02026年10月21日 · 指标 2.10.0
npm
patriksimek/vm2
Advanced vm/sandbox for Node.js
MIT2026年10月18日 · 指标 2.10.0
—
f/textream
Textream is a free macOS teleprompter app for streamers, interviewers, and presenters. It highlights your script in real-time as you speak, displayed in a beautiful Dynamic Island overlay. With extensible features.
MIT2026年10月22日 · 指标 2.10.0
Go
mvdan/gofumpt
A stricter gofmt
BSD-3-Clause2026年10月21日 · 指标 2.10.0
Go
AlecAivazis/survey
A golang library for building interactive and accessible prompts with full support for windows and posix terminals.
MIT2026年10月21日 · 指标 2.10.0