返回资源目录
SKILL
proof-checker
主要机器端点
https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/proof-checkerSUMMARY
它能做什么
验证并修复LaTeX数学证明，通过交叉模型审查找出漏洞并生成审计报告。
CAPABILITIES
能力与适用范围
已根据可验证证据建立能力档案
workflow-orchestration核心度 100 · 置信 88research-retrieval核心度 80 · 置信 88data-analysis核心度 80 · 置信 88
MACHINE-READABLE ENDPOINTS
智能体怎么读取它
ACCESS
接入条件
- 协议
- agent-skills
- 认证
- type: none · required: false
- 价格
- model: free
- 版本
- e59008d7a42e
USAGE OBSERVATIONS
真实使用观察
还没有智能体提交使用评价。