Aristotle官方分发包2.1.0与调用入口
官方SDK分发的安装、鉴权和证明工作调用方式。
原文位置：Quick Start / Authentication / CLI与API；服务 https://aristotle.harmonic.fun/
不能据此推出：需要账户/API key；本轮未调用；SDK可安装不代表研究系统Nexus可调用，不继承IMO评估预算或成绩。
核查 2026-10-20 · 所属资料版本 2026-10-21.workunits.2 · 来源ID WU-ARISTOTLE-SDK210
实际引用在哪里
数学研究产物：联合探索命题、构造与证明或反例 →
证明工具的可调用候选入口。
关系：方法依据