可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
82,247
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
622B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
59 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
crates.io
Houtamelo/spire_enum
Procedural macros to facilitate enum usage, such as when delegating implementations and/or generating variant types.
MIT2026年9月18日 · 指标 2.10.0
Go
JoseLucasapp/Zumbra-lang
Zumbra is a custom programming language built with its own parser, compiler, and virtual machine. It supports function definitions, scoped variables, custom operators, and more, all with a minimalist syntax and a playful soul.
Apache-2.02026年9月20日 · 指标 2.10.0
—
JuliaGraphics/ColorVectorSpace.jl
Treat colors as if they are n-vectors for the purposes of arithmetic
自定义许可证2026年9月17日 · 指标 2.10.0
PyPI
Liu-group/AutoSolvate
Automated workflow for generating quantum chemistry calculation of explicitly solvated molecules
BSD-3-Clause2026年9月19日 · 指标 2.10.0
PyPI · npm · crates.io +1
QWED-AI/qwed-verification
Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.
Apache-2.02026年9月18日 · 指标 2.10.0
crates.io
Roysten/rust-framebuffer
Basic framebuffer abstraction for Rust
WTFPL2026年9月21日 · 指标 2.10.0
NuGet
StbSharp/StbTrueTypeSharp
C# port of stb_truetype.h
无许可证2026年9月17日 · 指标 2.10.0
npm
Vito0912/abs-agg
An flexible custom metadata provider
AGPL-3.02026年9月20日 · 指标 2.10.0
Go
cert-manager/openshift-routes
OpenShift Route support for cert-manager
Apache-2.02026年9月20日 · 指标 2.10.0
Go
coze-dev/cozeloop-go
The Golang SDK for CozeLoop 🧭
MIT2026年9月19日 · 指标 2.10.0
Go · PyPI
dahui/z13ctl
ROG Flow Z13 2025 RGB lighting and performance control
Apache-2.02026年9月19日 · 指标 2.10.0
npm
eggjs/development
egg plugin for development
MIT2026年9月18日 · 指标 2.10.0
Go
heroiclabs/hiro
The server interface for the Hiro game framework.
Apache-2.02026年9月19日 · 指标 2.10.0
crates.io
jcreekmore/pem-rs
该仓库未发布描述。
MIT2026年9月20日 · 指标 2.10.0
PyPI
langchain-ai/langchain-milvus
The LangChain wrapper of Milvus vector database for efficient vector search, full-text search, hybrid retrieval and RAG.
MIT2026年9月17日 · 指标 2.10.0
npm
lokesh/lightbox3
The original lightbox script. Now with fluid animations and touch‑first gestures.
MIT2026年9月18日 · 指标 2.10.0
crates.io
near/near-lake-framework-rs
Library to connect to the NEAR Lake S3 and stream the data
自定义许可证2026年9月18日 · 指标 2.10.0
Packagist · npm
postnl/postnl-magento2
This is the official Magento 2 extension for the logistics company PostNL. Add shipping options and parcelshops to your checkout. Create labels with track and trace functionality from the backend.
无许可证2026年9月18日 · 指标 2.10.0
npm
quasarframework/quasar-ui-qiconpicker
QIconPicker - Quasar App Extension
MIT2026年9月18日 · 指标 2.10.0
npm · PyPI
sbomify/sbomify
sbomify is a product security artifact hub and a trust center.
自定义许可证2026年9月19日 · 指标 2.10.0
Packagist · npm
spatie/pixelmatch-php
Compare images using PHP
MIT2026年9月17日 · 指标 2.10.0
Go
timvw/wt
A fast, simple Git worktree helper written in Go
MIT2026年9月19日 · 指标 2.10.0
—
ztangent/ValSplit.jl
Compile away dynamic dispatch on Val-typed arguments via value-splitting.
Apache-2.02026年9月17日 · 指标 2.10.0
npm
Adyen/lume
Lume is a component library for visual representations of data, built for Vue with D3.
MIT2026年9月18日 · 指标 2.10.0
crates.io
ElementsProject/rust-elements
Rust support for Elements transaction/block deserialization
CC0-1.02026年9月17日 · 指标 2.10.0
crates.io
Enet4/nifti-rs
Rust implementation of the NIfTI-1 format
Apache-2.02026年9月18日 · 指标 2.10.0
npm
VapiAI/mcp-server
Vapi MCP Server
MIT2026年9月18日 · 指标 2.10.0
Go
aviate-labs/agent-go
Golang Agent for the Internet Computer
Apache-2.02026年9月18日 · 指标 2.10.0
PyPI · crates.io · Go
benbenbang/libitofin
High-performance quantitative finance library in Rust: pricing, risk, and numerical tools built for speed and safety.
BSD-3-Clause2026年9月21日 · 指标 2.10.0
Go
ca-gip/kubi
A set of tools to authenticaticate through LDAP and AD LDS backend
Apache-2.02026年9月16日 · 指标 2.10.0