SpecWeave spec and handoff CLI SpecWithCode desktop workspace Verified Skill skill registry

Skills Skill Studio How we verify Docs

Resources

Tutorials Submit Publishers Trust center Queue Insights Desktop app

<< Back to lean4-prover

beita6969/scienceclaw/lean4-proverskill versions

1 skill version published

──Skill Version History

v1.0.0currentLLM-judged scan100/10020d ago

sha256:c68dcf6d7713

A registry of agent skills, each with its source, security scan and evaluation shown.

Product

Skills
Skill Studio
Desktop
Pricing

Trust

How we verify
Trust center
Security
Report a problem

Resources

Docs
Tutorials
Publishers
Insights
Submit
Queue

Family

SpecWeave
SpecWithCode
GitHub
npm

MIT License