端到端自动化撰写研究论文并生成PDF。涵盖偏好规划、文献检索、实验模拟、大纲与章节草稿生成、引用计划、图表绘制及LaTeX编译等15个步骤,实现从主题到成品的全流程自动化。
通过Hugging Face API获取AI论文的Markdown内容及结构化元数据(作者、模型、数据集等),支持解析HF或arXiv链接,用于总结、解释或分析论文。
学术论文打假检测助手,依据“耿同学六式”分析PDF,检测图片复用、数据造假、统计异常等学术不端行为,生成详细检测报告。
用于在Hugging Face Hub发布、管理和关联研究论文的工具集。支持从arXiv索引论文、验证作者身份、将论文链接至模型/数据集,以及生成专业Markdown格式的研究文章。
用于使用Alloy语言对系统设计、状态机、协议及算法进行形式化建模、验证与审查。支持编写规范、检查安全性/活性属性,并通过有界模型分析发现逻辑缺陷或设计替代方案。
针对德国法律史的多阶段法律分析技能,涵盖从罗马法到现代联邦德国的规范演变。通过结构化论证链(规范、要件、事实、证据、反方),确保法律历史研究的严谨性与溯源准确性。


