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

Skills Skill Studio How we verify Docs

Resources

Claude Code skills Tutorials Submit a skill Publish privately Publishers Trust center Queue Insights Desktop app

<< Back to prover-formal-spec

dtsong/agentic-council/prover-formal-specskill versions

1 skill version published

──Skill Version History

v1.0.0currentAutomated scan100/1001mo ago

sha256:711e82158177

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

Products

SpecWeave
SpecWithCode
Verified Skill

Verified Skill

Skills
Claude Code skills
Agent skills
Skill Studio
Desktop
Pricing
Publishers

Guides

Docs
Tutorials
How we verify
Trust center
Security
Report a problem
Submit a skill

Project

GitHub
npm
Insights
Queue

MIT License