逆合成 · 路线审计 · PURE RUST

在本地检查
合成路线。

RENKIN 是开源的逆合成规划器和路线审计器。你可以从目标分子开始搜索，也可以不上传分子结构，在本地检查其他规划器生成的路线。

在 GitHub 查看打开 Playground

一套本地审计流程。

AiZynthFinder · Syntheseus · SynPlanner · RENKIN

01 / AUDIT

审计路线，而非主张

可导入来自 RENKIN、AiZynthFinder、Syntheseus 或 SynPlanner 的路线。本地报告会分别保留结构检查、库存覆盖、正向重放、来源和缺失证据。

方法与局限

02 / EVIDENCE

清晰保留判断边界

pass、fail、partial 和 not evaluable 并不等同。路线审计不是实验验证，缺失的条件也不会被替换成预测。

方法与局限

03 / PLAN

需要时再从目标分子规划

RENKIN 提供基于模板和约束的 A* / AND-OR 搜索、库存感知评分和正向验证。搜索结果仍需要声明库存、协议和实验审查。

方法与局限

QUICK START / AUDIT

最小可复现审计示例

此示例读取 AiZynthFinder 路线文件并输出审计摘要。对于 Syntheseus、SynPlanner 或 RENKIN 路线，请指定相应的 format。

输入路线保留在本地。私有库存和策略文件也可一直保留在本地。

import json, renkin

report = json.loads(
  renkin.audit_route(
    open("trees.json").read(),
    format="aizynthfinder",
  )
)
print(report["summary"])

CITATION & REPRODUCIBILITY

引用版本与协议

当前引用元数据标示 RENKIN v1.0.6，发布日期为 2026-09-11。可复现报告应保留审计清单以及库存 / 模板配置。

阅读 CITATION.cffREADME