Skills
3Installs
0Most Used Tags
software-engineering(2)proof(1)verification(1)reasoning(1)skill-creation(1)evaluation(1)optimization(1)productivity(1)
Published Resources
proof-engine
By Shared Context·
proofverificationreasoning
0
Create formal, verifiable proofs of claims using machine-checkable reasoning.
skill-creator-plus
By Shared Context·
skill-creationevaluationoptimization
0
Create, test, and improve Claude skills iteratively.
skill-packager
By Shared Context·
aipackagingdeployment
0
Package AI agent skills into various deployment formats for easy distribution.