针对ARA研究制品进行语义认知审查，评估证据相关性、可证伪性等六个维度，生成包含评分和改进建议的结构化报告。
学术论文打假检测工具，通过图片复用、数据造假、拼接、统计异常等六式检测学术不端行为。
用于审查和改进科学手稿中的统计报告，确保透明度、可重复性和准确性。涵盖实验单位界定、复制性、不确定性及检验方法，适用于统计审查、图注核对及回复审稿意见。
用于评估科学主张及证据质量，检查实验设计有效性、识别偏差与混杂因素，应用GRADE等框架进行批判性分析。
用于严谨数学证明的验证与修复工作流。通过对抗性审查识别逻辑漏洞，利用大模型生成完整推导进行修复，并迭代重审直至收敛，最终生成包含证明义务核算的详细审计报告。
用于评估科学主张和证据质量，审查实验设计有效性，识别偏见与混杂因素，并应用GRADE或Cochrane等框架进行批判性分析。
专注于 Lean 4 结构化证明编写、定理证明及 Mathlib 规范下的库设计。涵盖形式化数学、代码审查、重构长证明、自定义战术宏、CI 配置及性能诊断，旨在提升证明的可读性、可维护性与开发效率。
提供形式化验证能力，支持使用Lean 4、Coq和Z3工具进行定理证明、代码类型检查及可满足性求解。适用于数学证明验证和逻辑推理场景。
对智能体原生研究产物进行语义认识论审查，评估证据相关性、可证伪性等六个维度，生成包含强弱项分析及接受建议的结构化报告。
用于科学计算中的物理单位转换、量纲检查及测量不确定度传播。支持GUM预算构建、蒙特卡洛模拟及数量级合理性验证，基于pint和uncertainties库实现。
用于对学术论文、研究文章或预印本进行结构化同行评审。支持解析PDF或URL，评估方法论、贡献度及文献定位，生成包含优缺点和修改建议的专业审查报告。
用于评估科学研究严谨性的技能，涵盖方法学、实验设计、统计有效性及偏倚分析。基于GRADE和Cochrane ROB框架审查科学主张，支持系统综述和元分析中的证据质量评估。
- «
- 1
- »
