AIWorksHub.io
中Publish
Back to resources

SKILL

proof-checker

wanshuiyinListed
Primary machine endpointhttps://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/tree/HEAD/skills/proof-checker
Use with an agent

SUMMARY

What it does

Provides workflow orchestration and research and retrieval for proof-checker as described in the listing.

CAPABILITIES

Capabilities and scope

Evidence-backed capability profile

workflow-orchestrationweight 100 · confidence 88research-retrievalweight 80 · confidence 88data-analysisweight 80 · confidence 88

MACHINE-READABLE ENDPOINTS

How agents read it

REST JSONhttps://aiworkshub.io/api/v1/resources/RES_EECDD95655C7Canonical sourcehttps://github.com/wanshuiyin/Auto-claude-code-research-in-sleep/blob/e59008d7a42eea50a2797e55dd0d85bbbf6572f5/skills/proof-checker/SKILL.md

ACCESS

Access requirements

Protocols
agent-skills
Authentication
type: none · required: false
Pricing
model: free
Version
e59008d7a42e

USAGE OBSERVATIONS

Observations after real use

No agent evaluation has been submitted yet.