学术论文打假检测工具，基于“耿同学六式”深度分析PDF，识别图片复用、数据造假、统计异常等学术不端行为。
用于Nature等高影响力期刊稿件的统计报告审查、修订与撰写，确保统计透明可复现。
指导Abaqus多体接触分析设置，处理零件接触、摩擦、螺栓连接等场景。涵盖接触对识别、主从面选择、接触类型定义及非线性求解参数配置。
模拟多角色同行评审流程，通过五人评审组（含魔鬼代言人）对学术论文进行全方位审查、验证或校准。支持多种模式如全面审查、快速评估和方法论聚焦，生成结构化决策和修改路线图。
评估科学主张与证据质量，分析实验设计有效性、识别偏见及混杂因素，应用GRADE和Cochrane框架进行证据分级。适用于科学研究批判性分析、论文评审及教学场景。
用于严格验证和修复数学证明的自动化工作流。通过逆向审查识别逻辑漏洞，生成完整推导进行修复，并输出包含义务计量的审计报告，确保理论论文证明的严谨性。
用于评估科学声明和证据质量，审查实验设计有效性，识别偏见与混杂因素，并应用GRADE等框架进行批判性分析。
用于评估研究严谨性、实验设计、统计有效性及证据质量，识别偏见与混杂因素。适用于审阅科学主张、系统评价及应用GRADE或Cochrane框架进行批判性分析。
用于编写和审查 Lean 4 结构化证明、设计符合 Mathlib 规范的数学库，涵盖定理证明、形式化规范、代码重构及 CI/测试配置。
- «
- 1
- »
