vskill
SkillsStudioOur approachDocs
Resources
WatchSubmitPublishersTrust centerQueueInsightsDesktop app
Login
vskill

Focused expertise. Inspectable evidence.

SkillsStudioWatchPublishersTrustDocsQueueSubmitInsightsGitHubnpmSpecWeave

MIT License

← All publishers
──kotaroyamame
15 skillsAvg Trust: 671 total stars
13 skills
reconcile-code
Scanned
kotaroyamame/formal-agent-contracts
Trust: 671 starskotaroyamame/formal-agent-contractsv1.0.03d ago
reverse-workflow
Scanned
kotaroyamame/formal-agent-contracts
Trust: 691 starskotaroyamame/formal-agent-contractsv1.0.09d ago
smt-verify
Scanned
kotaroyamame/formal-agent-contracts
Trust: 401 starskotaroyamame/formal-agent-contractsv1.0.03d ago
define-contract
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
export-human-spec
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
extract-spec
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
generate-code
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
generate-db-schema
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
generate-tests
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
import-natural-spec
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
integrated-workflow
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
refine-spec
Scanned
kotaroyamame/formal-agent-contracts
Trust: 69kotaroyamame/formal-agent-contractsv1.0.0today
verify-spec
Scanned
kotaroyamame/formal-agent-contracts
Trust: 67kotaroyamame/formal-agent-contractsv1.0.0today
All 13 skills loaded