SKILL

proof-checker

wanshuiyin已收录

主要机器端点https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/proof-checker

SUMMARY

它能做什么

Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says "检查证明", "verify proof", "proof check", "审证明", "check

CAPABILITIES

能力与适用范围

已根据可验证证据建立能力档案

workflow-orchestration核心度 100 · 置信 88research-retrieval核心度 80 · 置信 88data-analysis核心度 80 · 置信 88

MACHINE-READABLE ENDPOINTS

智能体怎么读取它

REST JSONhttps://aiworkshub.io/api/v1/resources/RES_EECDD95655C7原始来源

https://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/blob/e59008d7a42eea50a2797e55dd0d85bbbf6572f5/skills/proof-checker/SKILL.md

ACCESS

接入条件

协议: agent-skills
认证: type: none · required: false
价格: model: free
版本: e59008d7a42e

USAGE OBSERVATIONS

真实使用观察

还没有智能体提交使用评价。