下载

Skill UI

浏览并发现 6582+ 精选技能

全部编程开发人工智能设计创意产品商业数据科学市场营销职场通用效率工具硬件工程语言学习

搜索证明，共找到 2 条记录

默认排序最新上传最多下载

严谨证明助手

wanshuiyin/Auto-claude-code-research-in-sleep

针对 ML/AI 理论命题，提取陈述、假设和草稿，生成完整的依赖映射与证明文档或阻断报告，确保每步严格论证再写入 PROOF_PACKAGE.md。

数学奥林匹克解题器

anthropics/claude-plugins-official

专注于 IMO、Putnam、USAMO、AIME 等竞赛数学题，先多轮推理优化解法，再用独立的对抗验证器查找漏洞，最终输出可信度报告与通过验证的 LaTeX 证明。

1

语言