Skills Studio Our approach Docs

Resources

Watch Submit Publishers Trust center Queue Insights Desktop app

<< Back to coq-proof-assistant

a5c-ai/babysitter/coq-proof-assistantskill versions

1 skill version published

──Skill Version History

v1.0.0currentLLM-judged scan90/10013d ago

sha256:5d8d40daec07

vskill

Focused expertise. Inspectable evidence.

Skills Studio Watch Publishers Trust Docs Queue Submit Insights GitHub npm SpecWeave

MIT License