clawhub
@diamond2nv
公开技能 10 个
三级回退管线核验学术引用是否真实存在，支持单条与批量参考文献审计。
多源检索并下载学术论文，去重、PDF 转 Markdown 并同步 wiki。
expflow 实验流水线与 HPO 编排：三种流水线模式、三种 HPO 后端
提供 ClearML 指标记录代码模板与命名规范
PDE 方程注册与竞赛任务分析、评分预测与策略建议工具
为实验工作流提供 PIN 保护、指标注册表、评分排序门控与规则审计
论文草稿引文自动核验工具，检查伪造或错误引用并生成完整性报告。
基于Lean4与LLM的定理证明工具，自动生成、编译并验证证明。
通过SymPy、Wolfram和量纲校验多层级验证LaTeX公式，支持批量与报告。
串联文献、实验HPO与Lean4证明三层工具，通过文件/CLI契约组织低成本到高成本科研工作流。
