paper-to-theorem-distiller
将高密度理论论文提炼为定义、主要主张、证明策略与可复用技术的技能,适用于高效阅读理论机器学习或数学论文。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 10-30 00:12
14,413 个结果
将高密度理论论文提炼为定义、主要主张、证明策略与可复用技术的技能,适用于高效阅读理论机器学习或数学论文。
PhD Application Package Auditor 是一个用于整体审查博士或研究类申请材料包的技能。它面向需要跨文档一致性检查的用户,帮助识别材料之间的叙事矛盾、缺失证据、过度声称、项目匹配度不足、推荐人风险以及截止日期瓶颈。该技能不负责撰写或逐行编辑单一文书,而是对整套材料(如 CV、SOP、研究陈述、写作样本、推荐人安排、目标项目与截止日期等)进行盘点、提取申请主线、交叉核对证据、审计风险并按影响与紧迫性排序修复项,最终输出结构化的就绪报告。
用于博士申请选校与导师匹配的智能体技能:把申请人的研究兴趣映射到具体教师、实验室、院系与项目契合度,并在撰写各校申请材料前产出有依据的匹配说明与选校清单。
Professor Cold Email Drafter 是一个用于撰写、审阅和修改给教授或 PI 的冷邮件的技能,适用于博士申请、研究实习、RA 机会、实验室轮转等学术外联场景。它强调邮件应简短、具体、易于回复,帮助发件人展示对教授研究方向的了解,同时避免冗长自传或空泛赞美。该技能提供从收集背景、选择邮件策略、构建邮件结构到语气校准和跟进指导的完整工作流,并支持生成主题行选项、草稿、修改建议和更短版本。
该技能用于在撰写博士申请材料或联系教授之前,基于教授的近期论文、实验室页面、基金、演讲、学生项目和公开材料,梳理其近期与趋势性研究方向。它帮助区分长期身份主题、近期活跃方向、新兴趋势和低置信度旧话题,并映射申请者与教授当前工作的可信连接点,输出结构化的研究方向地图,供后续冷邮件或SOP适配段落使用。
Proof Sketcher 是一个把非正式数学想法转成可检验证明骨架的 agent skill,输出精确定理、引理与依赖结构,并显式标注假设、弱点与未解决缺口,避免伪装完整。
用于研究型代码仓库的 README 编写与审查技能:帮助生成或改进 README.md,使他人无需询问作者即可复现主要结果,重点覆盖复现命令、结果映射、数据来源与已知问题。
用于撰写、审阅、评分、改进和迭代目的陈述(SOP)及博士申请文书的研究项目写作技能,帮助申请人把研究经历组织成有说服力的研究叙事,并针对目标项目做匹配度调整。
researcher 是一个技能,用于通过共享伴随脚本把深度研究或调研任务委托给 Google 的 Antigravity CLI(agy staffer,使用快速 Gemini)。触发方式为用户说 /agy:researcher 或要求 agy 做研究。命令返回作业 id,结果需按 jobs 协议收集。
plan-newsletter 是一个用于规划完整新闻通讯(newsletter)期号的技能:从主题或素材出发,产出研究、草稿、标题、开篇钩子与社交推广帖。它本身是轻量编排器,内容生成委托给 creator-stack 系列基础技能。
note-writer 是一个把学习笔记写成 Skill 格式的工具,产出与 Obsidian 兼容的笔记,便于 AI 检索和加载相关概念。支持文本、URL、图片、视频、文件路径等多种输入,输入内容会整理为含 frontmatter、摘要、易读说明、双向链接和层级标签的 SKILL.md 笔记。
一个按《纽约客》风格撰写英文散文的写作技能,强调清晰、优雅与对读者的尊重,并规定该杂志的排版惯例:始终使用连续逗号、分音符号(coöperate、naïve)、英式影响拼写(focussed、travelling、theatre)、部分词汇的独特拼写(teen-ager、per cent)等。
用于科研严谨性评估的技能,帮助审查研究方法、实验设计、统计有效性、偏差与混杂,并依据 GRADE 和 Cochrane ROB 等框架评估证据质量,适用于论文评审、系统综述和科学主张的批判性分析。
用于撰写与修订科学论文的写作技能,覆盖IMRAD结构、APA/AMA/Vancouver等引文格式、图表设计与CONSORT/STROBE/PRISMA等报告规范,帮助研究者完成摘要、方法、结果、讨论及期刊投稿准备。
brief 是 kntnt/skills 中的写作简报技能:通过访谈、依据素材起草或审查一份 Writing Brief,按写作简报模板逐题给出答案,并在简报阶段停止,供后续 /write 使用。
autoresearch 是一套面向自动研究实验循环的技能规范,规定如何用文件保存会话状态、按假设—实现—基准测试—决策—记录—汇报的流程迭代,并通过 git 提交或回滚、JSONL 日志和基准指标来管理实验。
EdgeSpeak Segment 是一个本地运行的语义分句工具,可通过 edgespeak-cli 将无标点或标点混乱的长文本(如 ASR 输出)切分成自然句子,并支持对带词级时间戳的转录 JSON 重新分句、映射真实起止时间。
面向国际刑事法院(罗马规约体系)的法律研究、起草与分析技能,强调“先核实再引用”的方法:任何案件文件须在当前对话中从一级来源检索核实,禁止凭记忆引用,并区分核实层级与引用格式。
writing-partner 是一个协作式文章写作技能,通过结构化访谈、线索追踪和语气校准,让 AI 从文本生成器变成“智力义肢”,帮助用户写出保留本人真实声音的文章。
zhihu-cli 是一个通过命令行自动化知乎交互的 Claude 技能,支持搜索、浏览热榜、查看问题/回答、发布想法/文章/提问及用户互动。需先安装 pyzhihu-cli 并登录。
用于检测文章中的 AI 生成痕迹并做人性化润色的技能,依据微信公众平台运营规范 3.27 条款(非真人自动化创作行为)的检测逻辑,给出风险评分与修改建议,可输出润色版本。
从代码库实际实现生成架构视图、接口说明与决策记录草稿的技能,支持明确输入与结果回读,用于创建架构文档。
面向微信公众号的文章包创作技能:把材料、草稿或现有 Markdown 变成含正文、编辑模板、品牌横版封面、4:3 正文首图、来源元数据与验收报告的统一交付包,并支持改写、品牌化、忠实转载与审计。
依据项目代码完善 README、安装说明、使用示例与真实品牌资产,支持明确输入与结果回读。用于创建或改进项目 README。