公开记录
软件健康报告模式 0.15.0 · 指标 2.10.0 · 2026-07-19 15:08 UTC

cool-japan / oxiz

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

RustApache-2.0★ 49 星标⑂ 5 复刻始于 2025年12月在 GitHub 上查看 ↗
类型命令行工具库网络服务如何判定
#rust#rust-lang#smt#z3#z3-solver#math#mathematics#pure-rust#rust-crate

cool-japan/oxiz 的健康指数为 100 分中的 67 分，处于「良好」区间。 其得分最高的类别是Engineering Quality（88/100），最低的是Security（41/100）。 最近一次更新在今天。 近期的大部分工作由 1 位贡献者完成。

67
总分 / 100
良好

软件健康指数

指标归入加权类别，统一采用 1–100 量表。总体分先取类别加权平均，再依据公开记录的分布进行校准，使各等级具有百分位含义；当公开证据触发高风险司法辖区政策时，评级会按政策调整，并设置 34（存在风险）的上限。

67
卓越93-100公开记录中的最高层级（约前 5%）；基本满足所有检验标准
优秀80-92各方面均表现强劲；仅有少量不足
良好65-79健康；不足之处有限且可控
中等50-64可接受，但存在明显不足；建议进行审查
薄弱35-49多个领域存在实质性薄弱环节
存在风险20-34存在重大薄弱环节；采用时应保持审慎
危急1-19问题严重（项目被弃置、仅有单一维护者、缺乏基本工程规范）
活力社区与采用可持续性与治理工程质量安全AI 就绪度

评分画像

每条轴代表一个类别。形状比平均值更重要——健康的对象会填满整个图形，而“一峰一谷”式画像意味着某一维度的优势正掩盖另一维度的风险。

加权总体分 61 经校准后在公布的指数量表上为 67（记录校准 2026-08-02）。

所有权

KitaSan个人账户
266 关注者74 个公开仓库始于 2020年12月COOLJAPAN OU

该仓库由个人账户拥有。相较于组织支持的项目，单一所有者项目的延续性风险更高。

软件包生态系统

注册表软件包版本月下载量版本数最近发布标签
crates.iooxiz-cli0.2.42690 天前clismtsmtlibcommand-line-utilities
crates.iooxiz-core0.2.42,47690 天前astlogicsmtalgorithmsdata-structures
crates.iooxiz-math0.2.42,48690 天前algebramathpolynomialsimplexsmtalgorithmsmathematics
crates.iooxiz-ml0.2.4310 天前heuristicsmachine-learningneural-networksmtsolveralgorithmsscience
crates.iooxiz-nlsat0.2.42,41890 天前arithmeticcadnlsatnonlinearsmtalgorithmsmathematics
crates.iooxiz-opt0.2.44490 天前maxsatmaxsmtomtoptimizationsmtalgorithmsmathematics
crates.iooxiz-proof0.2.42,36590 天前alethedratproofsmtverificationalgorithms

按类别列示的指标

活力

项目是否仍有生命——是否仍在编写代码，是否仍在发布版本？

72良好 · 占总体的 21%

开发活跃度

54中等
评分方式
36/36推送新近度 — 最近一次推送于 0 天前
4.8/36提交节奏 — 52 周中有 7 周有提交
8.6/18提交量 — 最近一年 8 次提交
5/10OpenSSF Scorecard：Maintained — 4 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 5
所用输入
commits_last_year8
human_commit_share—
days_since_last_push0
active_weeks_last_year7

发布纪律

100卓越
评分方式
27/27有发布版本 — 已发布 9 个发布版本
36/36发布时效 — 最近一次发布版本于 0 天前
27/27发布节奏 — 约每 23.5 天发布一次
0/10OpenSSF Scorecard：Signed-Releases — 无数据
所用输入
releases_count9
latest_release_tagv0.2.4
releases_from_tags否
days_since_latest_release0
mean_days_between_releases23.5
已排除计分（无数据或不适用）：OpenSSF Scorecard：Signed-Releases。 其余权重已重新归一化。

社区与采用

项目是否拥有用户、下载量与关注度，并具备欢迎贡献者参与的配置？

54中等 · 占总体的 17%

流行度与采用

32存在风险
评分方式
27.3/60星标 — 49 个星标
5/25复刻 — 5 个复刻
0/15关注者 — 1 位关注者
所用输入
forks5
stars49
watchers1
growth_stateunverified
growth_factor_pct100
growth_unverified_reasonno_history

社区健康

70良好
评分方式
22.5/22.5README
22.5/22.5许可证 — 可识别的许可证（Apache-2.0）
18/18CONTRIBUTING 指南
0/13.5行为准则
0/7.2议题模板
0/6.3PR 模板
所用输入
has_readme是
has_license是
readme_badges—
has_contributing是
has_issue_template否
has_code_of_conduct否
readme_badge_services—
has_pull_request_template否

生态采用（下载量）

66良好
评分方式
53.2/80月度下载量 — crates 合计每月 9,818 次下载
0/20注册表被依赖数 — 该生态系统不报告此项
所用输入
packagesoxiz-cli, oxiz-core, oxiz-math, oxiz-ml, oxiz-nlsat, oxiz-opt, oxiz-proof
dependents—
ecosystemscrates
total_downloads32,937
monthly_downloads9,818
unverified_packages_excluded—
已排除计分（无数据或不适用）：注册表被依赖数。 其余权重已重新归一化。

可持续性与治理

项目能否在其成员之外延续——巴士系数、响应能力、由谁支持，以及软件包的维护状况？

49薄弱 · 占总体的 23%

维护者韧性（巴士系数）

13危急
评分方式
9/54巴士系数 — 1 位贡献者贡献了半数提交
0/22.5提交分布 — 头号贡献者编写了 100% 的提交
1.4/13.5贡献者广度 — 1 位贡献者
3/10OpenSSF Scorecard：Contributors — project has 1 contributing companies or organizations -- score normalized to 3
所用输入
bus_factor1
contributors_sampled1
top_contributor_share1

议题与 PR 响应能力

35薄弱
评分方式
25.2/42议题解决 — 60% 的议题已关闭
5/30PR 接受 — 已裁定的 PR 中 1/6 已合并
0/13Newcomer PR acceptance — 30 天内没有首次贡献者的 PR 得到裁决
0/15OpenSSF Scorecard：Code-Review — Found 0/9 approved changesets -- score normalized to 0
所用输入
merged_prs1
open_issues2
closed_issues3
prs_merged_7d—
prs_decided_7d—
prs_merged_30d—
prs_decided_30d—
issue_closed_ratio0.6
closed_unmerged_prs5
first_time_authors_30d—
first_time_prs_merged_30d—
first_time_prs_decided_30d—
已排除计分（无数据或不适用）：Newcomer PR acceptance。 其余权重已重新归一化。

所有权与托管责任

64中等
评分方式
10/30所有权背书 — 个人（用户）账户
0/20已验证域名 — 不适用于个人账户
17.4/25所有者影响力 — cool-japan 有 266 位关注者
24.2/25既往记录 — 74 个公开仓库，账户约 5 年
所用输入
followers266
owner_typeUser
is_verified—
owner_logincool-japan
public_repos74
account_age_days2,052
已排除计分（无数据或不适用）：已验证域名。 其余权重已重新归一化。

软件包维护

100卓越
评分方式
25/25已发布且可解析 — crates 上有 7 个软件包
35/35发布时效 — 最近一次发布于 0 天前
20/20版本历史 — 9 个已发布版本
20/20未被弃用 — 活跃，未被弃用或撤回
所用输入
packagesoxiz-cli, oxiz-core, oxiz-math, oxiz-ml, oxiz-nlsat, oxiz-opt, oxiz-proof
ecosystemscrates
any_deprecated否
min_days_since_publish0

工程质量

基础的工程与文档实践是否到位？

88优秀 · 占总体的 19%

工程实践

80优秀
评分方式
24/24CI 工作流 — 2 个工作流
24/24存在测试
16/16Linter 配置 — .eslintrc.json
0/9.6Pre-commit 钩子
0/6.4.editorconfig
0/20OpenSSF Scorecard：CI-Tests — 无数据
所用输入
has_ci是
has_tests是
has_editorconfig否
has_linter_config是
has_precommit_config否
已排除计分（无数据或不适用）：OpenSSF Scorecard：CI-Tests。 其余权重已重新归一化。

文档

100卓越
评分方式
30/30README
25/25文档目录
15/15文档 / 主页站点 — https://github.com/cool-japan/oxiz
10/10仓库描述
10/10主题标签 — 9 个主题标签
10/10Wiki
所用输入
topicsrust, rust-lang, smt, z3, z3-solver, math, mathematics, pure-rust, rust-crate
has_wiki是
homepagehttps://github.com/cool-japan/oxiz
docs_sitehttps://github.com/cool-japan/oxiz
has_readme是
has_docs_dir是
has_description是

安全

可见的安全与供应链实践是否稳固，且不存在未解决的高风险司法辖区暴露？

41薄弱 · 占总体的 16%

安全态势

41薄弱
评分方式
7.5/7.5Binary-Artifacts — no binaries found in the repo
0/7.5Branch-Protection — branch protection not enabled on development/release branches
0/2.5CI-Tests — 无数据
0/2.5CII-Best-Practices — no effort to earn an OpenSSF best practices badge detected
0/7.5Code-Review — Found 0/9 approved changesets -- score normalized to 0
0.8/2.5Contributors — project has 1 contributing companies or organizations -- score normalized to 3
10/10Dangerous-Workflow — no dangerous workflow patterns detected
0/7.5Dependency-Update-Tool — no update tool detected
5/5Fuzzing — project is fuzzed
2.5/2.5许可证 — license file detected
3.8/7.5Maintained — 4 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 5
5/5Packaging — packaging workflow detected
0/5Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
0/5SAST — no SAST tool detected
0/5Security-Policy — security policy file not detected
0/7.5Signed-Releases — 无数据
0/7.5Token-Permissions — detected GitHub workflow tokens with excessive permissions
4.5/7.5Vulnerabilities — 4 existing vulnerabilities detected
所用输入
sourceopenssf_scorecard
checks_evaluated16
scorecard_versionv5.5.0
checks_inconclusive2
scorecard_aggregate4.1
已排除计分（无数据或不适用）：CI-Tests, Signed-Releases。 其余权重已重新归一化。

AI 就绪度

该仓库在多大程度上具备与 AI 编码代理协同开发与维护的条件？权重刻意设小（4%）：代理工具链是一项真实的维护信号，但完全不具备的仓库仍可达到 100/100。

48薄弱 · 占总体的 4%

AI 代理上下文与指引

1危急
评分方式
0/45代理指令 — 没有 CLAUDE.md / AGENTS.md / 编辑器规则
0/15机器可读文档（llms.txt）
0/40可读的提交历史 — 无数据
所用输入
has_llms_txt否
llms_txt_url—
legible_history_share—
agent_instruction_files—
agent_instruction_max_bytes—
已排除计分（无数据或不适用）：可读的提交历史。 其余权重已重新归一化。

验证循环（构建 / 测试 / 类型检查）

66良好
评分方式
0/18一条命令的引导启动
22/22自动化测试
11/11Lint / 格式化配置 — .eslintrc.json
11/11静态类型检查 — oxiz-vscode/tsconfig.json, oxiz-wasm/examples/tsconfig.json, oxiz-wasm/examples/typescript/tsconfig.json, oxiz-wasm/wrappers/react/tsconfig.json, oxiz-wasm/wrappers/svelte/tsconfig.json, oxiz-wasm/wrappers/vue/tsconfig.json
10/10可复现环境 — Dockerfile, lockfile
0/10已体现的代理实践 — 无数据
0/8自动化维护 — 无数据
0/10OpenSSF Scorecard：Pinned-Dependencies — dependency not pinned by hash detected -- score normalized to 0
所用输入
has_nix否
has_tests是
lockfilesCargo.lock
has_dockerfile是
typed_language是
bootstrap_files—
has_devcontainer否
has_linter_config是
typecheck_configsoxiz-vscode/tsconfig.json, oxiz-wasm/examples/tsconfig.json, oxiz-wasm/examples/typescript/tsconfig.json, oxiz-wasm/wrappers/react/tsconfig.json, oxiz-wasm/wrappers/svelte/tsconfig.json, oxiz-wasm/wrappers/vue/tsconfig.json
agent_commit_share—
toolchain_manifests—
dependency_bot_commit_share—
已排除计分（无数据或不适用）：已体现的代理实践, 自动化维护。 其余权重已重新归一化。

面向模型的代码可读性

99卓越
评分方式
45/45可类型检查的代码 — Rust（静态类型）
53.9/55可控的文件大小 — 采样的 1,135 个源文件中有 22 个超过 60KB
所用输入
primary_languageRust
largest_source_bytes85,240
source_files_sampled1,135
oversized_source_files22

机器可读接口

40薄弱
评分方式
0/40API 模式（OpenAPI/GraphQL/proto）
0/20MCP 服务器
40/40可运行示例 — examples
所用输入
example_dirsexamples
has_mcp_signal否
api_schema_files—
interfaces_expected_ofnetwork-service

关键数据

49GitHub 星标
1贡献者
8最近 12 个月提交数
0距最近推送天数
9发布版本数
1巴士系数（bus factor）
2开放议题
crates.io, npm, PyPI软件包生态系统数

数据采集警告

  • Could not fetch crates package 'oxiz-fuzz' from its registry
  • GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

更多细节

OpenSSF Scorecard 4.1 / 10
4.1综合

来自开源项目 OpenSSF Scorecard 的独立、工具无关的安全评估。每项检查奖励的是安全实践本身，而非特定供应商的工具。Scorecard 无法判定的检查项标记为 不适用，并从安全评分中剔除（绝不按零分计）。Scorecard v5.5.0 · 2026-07-19 15:08 UTC

10Binary-Artifactsno binaries found in the repo
0Branch-Protectionbranch protection not enabled on development/release branches
不适用CI-Testsno pull request found
0CII-Best-Practicesno effort to earn an OpenSSF best practices badge detected
0Code-ReviewFound 0/9 approved changesets -- score normalized to 0
3Contributorsproject has 1 contributing companies or organizations -- score normalized to 3
10Dangerous-Workflowno dangerous workflow patterns detected
0Dependency-Update-Toolno update tool detected
10Fuzzingproject is fuzzed
10Licenselicense file detected
5Maintained4 commit(s) and 2 issue activity found in the last 90 days -- score normalized to 5
10Packagingpackaging workflow detected
0Pinned-Dependenciesdependency not pinned by hash detected -- score normalized to 0
0SASTno SAST tool detected
0Security-Policysecurity policy file not detected
不适用Signed-Releasesno releases found
0Token-Permissionsdetected GitHub workflow tokens with excessive permissions
6Vulnerabilities4 existing vulnerabilities detected
直接依赖 200
注册表软件包版本约束清单文件
crates.iolibfuzzer-sys0.4fuzz/Cargo.toml
crates.ioarbitrary1fuzz/Cargo.toml
crates.ionum-bigint0.4fuzz/Cargo.toml
crates.ionum-rational0.4fuzz/Cargo.toml
crates.iooxiz-core—fuzz/Cargo.toml
crates.iooxiz—fuzz/Cargo.toml
crates.iooxiz-core—oxiz-cli/Cargo.toml
crates.iooxiz-solver—oxiz-cli/Cargo.toml
crates.iooxiz-proof—oxiz-cli/Cargo.toml
crates.iooxiz-smtcomp—oxiz-cli/Cargo.toml
crates.ionum-rational—oxiz-cli/Cargo.toml
crates.ioclap—oxiz-cli/Cargo.toml
crates.ioclap_complete—oxiz-cli/Cargo.toml
crates.iotracing—oxiz-cli/Cargo.toml
crates.iotracing-subscriber—oxiz-cli/Cargo.toml
crates.iorustyline—oxiz-cli/Cargo.toml
crates.ioserde—oxiz-cli/Cargo.toml
crates.ioserde_json—oxiz-cli/Cargo.toml
crates.ioserde_yaml—oxiz-cli/Cargo.toml
crates.ioowo-colors—oxiz-cli/Cargo.toml
crates.ioindicatif—oxiz-cli/Cargo.toml
crates.iowalkdir—oxiz-cli/Cargo.toml
crates.ioglobset—oxiz-cli/Cargo.toml
crates.ionotify—oxiz-cli/Cargo.toml
crates.iosysinfo—oxiz-cli/Cargo.toml
crates.iorayon—oxiz-cli/Cargo.toml
crates.iodirs—oxiz-cli/Cargo.toml
crates.iotower-lsp—oxiz-cli/Cargo.toml
crates.iotokio—oxiz-cli/Cargo.toml
crates.ioanyhow—oxiz-cli/Cargo.toml
crates.iochrono0.4oxiz-cli/Cargo.toml
crates.ioaxum—oxiz-cli/Cargo.toml
crates.iotower—oxiz-cli/Cargo.toml
crates.iotower-http—oxiz-cli/Cargo.toml
crates.iorustc-hash—oxiz-cli/Cargo.toml
crates.ioindexmap—oxiz-core/Cargo.toml
crates.iothiserror—oxiz-core/Cargo.toml
crates.iotracing—oxiz-core/Cargo.toml
crates.iosmallvec—oxiz-core/Cargo.toml
crates.iorustc-hash—oxiz-core/Cargo.toml
crates.ionum-rational—oxiz-core/Cargo.toml
crates.ionum-bigint—oxiz-core/Cargo.toml
crates.ionum-traits—oxiz-core/Cargo.toml
crates.ionum-integer—oxiz-core/Cargo.toml
crates.iohashbrown—oxiz-core/Cargo.toml
crates.ioportable-atomic—oxiz-core/Cargo.toml
crates.ioportable-atomic-util—oxiz-core/Cargo.toml
crates.iooxiz-math—oxiz-core/Cargo.toml
crates.iolasso—oxiz-core/Cargo.toml
crates.iobumpalo—oxiz-core/Cargo.toml
crates.iowinnow—oxiz-core/Cargo.toml
crates.iorhai1.25oxiz-core/Cargo.toml
crates.iowide1.5oxiz-core/Cargo.toml
crates.iorayon—oxiz-core/Cargo.toml
crates.ioparking_lot0.12oxiz-core/Cargo.toml
crates.ionum-rational—oxiz-math/Cargo.toml
crates.ionum-bigint—oxiz-math/Cargo.toml
crates.ionum-traits—oxiz-math/Cargo.toml
crates.ionum-integer—oxiz-math/Cargo.toml
crates.iosmallvec—oxiz-math/Cargo.toml
crates.iorustc-hash—oxiz-math/Cargo.toml
crates.iothiserror—oxiz-math/Cargo.toml
crates.iorand—oxiz-math/Cargo.toml
crates.iohashbrown—oxiz-math/Cargo.toml
crates.iooxiz-core—oxiz-ml/Cargo.toml
crates.iooxiz-sat—oxiz-ml/Cargo.toml
crates.iooxiz-solver—oxiz-ml/Cargo.toml
crates.ionum-traits—oxiz-ml/Cargo.toml
crates.ionum-bigint—oxiz-ml/Cargo.toml
crates.ionum-rational—oxiz-ml/Cargo.toml
crates.ioindexmap—oxiz-ml/Cargo.toml
crates.iosmallvec—oxiz-ml/Cargo.toml
crates.iorustc-hash—oxiz-ml/Cargo.toml
crates.iorayon—oxiz-ml/Cargo.toml
crates.ioserde—oxiz-ml/Cargo.toml
crates.ioserde_json—oxiz-ml/Cargo.toml
crates.iothiserror—oxiz-ml/Cargo.toml
crates.ioanyhow—oxiz-ml/Cargo.toml
crates.iorand—oxiz-ml/Cargo.toml
crates.iooxiz-core—oxiz-nlsat/Cargo.toml
crates.iooxiz-math—oxiz-nlsat/Cargo.toml
crates.ionum-rational—oxiz-nlsat/Cargo.toml
crates.ionum-bigint—oxiz-nlsat/Cargo.toml
crates.ionum-traits—oxiz-nlsat/Cargo.toml
crates.iosmallvec—oxiz-nlsat/Cargo.toml
crates.iorustc-hash—oxiz-nlsat/Cargo.toml
crates.iothiserror—oxiz-nlsat/Cargo.toml
crates.iotracing—oxiz-nlsat/Cargo.toml
crates.iorayon—oxiz-nlsat/Cargo.toml
crates.ionum_cpus—oxiz-nlsat/Cargo.toml
crates.iooxiz-core—oxiz-opt/Cargo.toml
crates.iooxiz-sat—oxiz-opt/Cargo.toml
crates.iooxiz-solver—oxiz-opt/Cargo.toml
crates.ionum-rational—oxiz-opt/Cargo.toml
crates.ionum-bigint—oxiz-opt/Cargo.toml
crates.ionum-traits—oxiz-opt/Cargo.toml
crates.iosmallvec—oxiz-opt/Cargo.toml
crates.iorustc-hash—oxiz-opt/Cargo.toml
crates.iothiserror—oxiz-opt/Cargo.toml
crates.iotracing—oxiz-opt/Cargo.toml
crates.iorand—oxiz-opt/Cargo.toml
crates.iorayon—oxiz-opt/Cargo.toml
crates.iooxiz-core—oxiz-proof/Cargo.toml
crates.iosmallvec—oxiz-proof/Cargo.toml
crates.iorustc-hash—oxiz-proof/Cargo.toml
crates.iothiserror—oxiz-proof/Cargo.toml
crates.iotracing—oxiz-proof/Cargo.toml
crates.iobumpalo—oxiz-proof/Cargo.toml
crates.ioregex1.12oxiz-proof/Cargo.toml
crates.ionum-rational—oxiz-proof/Cargo.toml
crates.ionum-bigint—oxiz-proof/Cargo.toml
crates.ionum-traits—oxiz-proof/Cargo.toml
crates.iooxiz-sat—oxiz-proof/Cargo.toml
crates.ioserde1.0oxiz-proof/Cargo.toml
crates.iooxiz—oxiz-py/Cargo.toml
crates.iopyo30.29oxiz-py/Cargo.toml
crates.ionum-bigint—oxiz-py/Cargo.toml
crates.ionum-rational—oxiz-py/Cargo.toml
crates.ionum-traits—oxiz-py/Cargo.toml
crates.iooxiz-core—oxiz-sat/Cargo.toml
crates.iotracing—oxiz-sat/Cargo.toml
crates.iosmallvec—oxiz-sat/Cargo.toml
crates.iorustc-hash—oxiz-sat/Cargo.toml
crates.iorayon—oxiz-sat/Cargo.toml
crates.iohashbrown—oxiz-sat/Cargo.toml
crates.ioportable-atomic-util—oxiz-sat/Cargo.toml
crates.iolibm—oxiz-sat/Cargo.toml
crates.iooxiz-core—oxiz-smtcomp/Cargo.toml
crates.iooxiz-solver—oxiz-smtcomp/Cargo.toml
crates.ioserde—oxiz-smtcomp/Cargo.toml
crates.ioserde_json—oxiz-smtcomp/Cargo.toml
crates.ioserde_yaml—oxiz-smtcomp/Cargo.toml
crates.iowalkdir—oxiz-smtcomp/Cargo.toml
crates.iothiserror—oxiz-smtcomp/Cargo.toml
crates.iotracing—oxiz-smtcomp/Cargo.toml
crates.iorayon—oxiz-smtcomp/Cargo.toml
crates.iorand—oxiz-smtcomp/Cargo.toml
crates.iolru—oxiz-smtcomp/Cargo.toml
crates.iopdf-writer—oxiz-smtcomp/Cargo.toml
crates.iotokio—oxiz-smtcomp/Cargo.toml
crates.ioaxum—oxiz-smtcomp/Cargo.toml
crates.iotower-http—oxiz-smtcomp/Cargo.toml
crates.iooxiz-core—oxiz-solver/Cargo.toml
crates.iooxiz-sat—oxiz-solver/Cargo.toml
crates.iooxiz-theories—oxiz-solver/Cargo.toml
crates.iotracing—oxiz-solver/Cargo.toml
crates.iorustc-hash—oxiz-solver/Cargo.toml
crates.iosmallvec—oxiz-solver/Cargo.toml
crates.ionum-bigint—oxiz-solver/Cargo.toml
crates.ionum-rational—oxiz-solver/Cargo.toml
crates.ionum-traits—oxiz-solver/Cargo.toml
crates.iohashbrown—oxiz-solver/Cargo.toml
crates.ioportable-atomic-util—oxiz-solver/Cargo.toml
crates.iorayon—oxiz-solver/Cargo.toml
crates.iooxiz-proof—oxiz-solver/Cargo.toml
crates.iooxiz-core—oxiz-spacer/Cargo.toml
crates.iooxiz-solver—oxiz-spacer/Cargo.toml
crates.iosmallvec—oxiz-spacer/Cargo.toml
crates.iorustc-hash—oxiz-spacer/Cargo.toml
crates.iothiserror—oxiz-spacer/Cargo.toml
crates.iotracing—oxiz-spacer/Cargo.toml
crates.ioindexmap—oxiz-spacer/Cargo.toml
crates.ionum-bigint—oxiz-spacer/Cargo.toml
crates.ionum-rational—oxiz-spacer/Cargo.toml
crates.iooxiz-core—oxiz-theories/Cargo.toml
crates.iooxiz-sat—oxiz-theories/Cargo.toml
crates.iooxiz-math—oxiz-theories/Cargo.toml
crates.iotracing—oxiz-theories/Cargo.toml
crates.iosmallvec—oxiz-theories/Cargo.toml
crates.iorustc-hash—oxiz-theories/Cargo.toml
crates.ionum-rational—oxiz-theories/Cargo.toml
crates.ionum-bigint—oxiz-theories/Cargo.toml
crates.ionum-traits—oxiz-theories/Cargo.toml
crates.iohashbrown—oxiz-theories/Cargo.toml
crates.ioportable-atomic-util—oxiz-theories/Cargo.toml
crates.ioegg—oxiz-theories/Cargo.toml
crates.iooxiz-nlsat—oxiz-theories/Cargo.toml
npmvscode-languageclient^9.0.1oxiz-vscode/package.json
crates.iooxiz-core—oxiz-wasm/Cargo.toml
crates.iooxiz-solver—oxiz-wasm/Cargo.toml
crates.iowasm-bindgen—oxiz-wasm/Cargo.toml
crates.iowasm-bindgen-futures0.4oxiz-wasm/Cargo.toml
crates.iojs-sys—oxiz-wasm/Cargo.toml
crates.ioconsole_error_panic_hook0.1oxiz-wasm/Cargo.toml
crates.iogetrandom0.4.3oxiz-wasm/Cargo.toml
crates.iogetrandom030.3oxiz-wasm/Cargo.toml
crates.ioweb-sys0.3oxiz-wasm/Cargo.toml
crates.iooxiarc-deflate—oxiz-wasm/Cargo.toml
crates.iooxiarc-brotli—oxiz-wasm/Cargo.toml
crates.iooxiz-core—oxiz/Cargo.toml
crates.iooxiz-math—oxiz/Cargo.toml
crates.iooxiz-sat—oxiz/Cargo.toml
crates.iooxiz-theories—oxiz/Cargo.toml
crates.iooxiz-solver—oxiz/Cargo.toml
crates.ionum-bigint—oxiz/Cargo.toml
crates.ionum-traits—oxiz/Cargo.toml
crates.iooxiz-nlsat—oxiz/Cargo.toml
crates.iooxiz-opt—oxiz/Cargo.toml
crates.iooxiz-spacer—oxiz/Cargo.toml
crates.iooxiz-proof—oxiz/Cargo.toml
全部依赖 未采集

本报告未能采集到解析后的依赖集合：GitHub dependency-graph SBOM unavailable (404); the dependency graph may be disabled for this repository

原始 JSON 报告 机器可读

反馈

发现这份报告有不准确之处，或有想法要分享？错误的测量、未识别的工具、建议、疑问——都欢迎提出。每条消息都会被阅读并得到回复。

登录过程中消息不会丢失。

相关记录

与 cool-japan/oxiz 共享目录标签或生态系统的已检测仓库。 并排阅读 →

98boa-dev/boaBoa is an embeddable Javascript engine written in Rust.卓越97vectordotdev/vectorA high-performance observability data pipeline.卓越96apache/iggyApache Iggy: Hyper-Efficient Message Streaming at Laser Speed卓越98uutils/coreutilsCross-platform Rust rewrite of the GNU coreutils卓越98PennyLaneAI/pennylanePennyLane is an open-source quantum software platform for quantum computing, quantum machine learning, and quantum chemistry. Create meaningful quantum algorithms, from inspiration to implementation.卓越97wasmerio/wasmer🚀 Fast, secure, lightweight containers based on WebAssembly卓越

评分是信号，而非担保。 评分反映的是 GitHub 上公开可见的实践——不是代码审计，也不是安全保证。

缺失数据将被剔除并重新归一化权重，绝不按零分计。方法论已版本化并公开：指标 v2.10.0、模式 v0.15.0—— 完整方法论 · 指标知识库.

单项结果在整体记录中的位置： 汇总统计 — crates.io.