Kotaro Andy
Community@kotaroyamame · Tokyo
8Followers
|39Public Repos
|5Published Skills
営業メールお断り
Agent Skills by Kotaro Andy
Showing 5 vetted skills indexed across 1 GitHub repositories.
kotaroyamame1
formal-methods-guide
Explain VDM-SL syntax, types, invariants, and proof obligations in plain language.
Community
Intermediate
kotaroyamame1
generate-code
Generate TypeScript and Python scaffolds from VDM-SL specifications.
Community
Intermediate
kotaroyamame1
define-contract
Validate SKILL.md structure and YAML frontmatter for Skill Units.
Community
Intermediate
kotaroyamame1
verify-spec
Validate VDM-SL files with VDMJ and explain syntax, type, and proof obligation results.
Community
Intermediate
kotaroyamame1
smt-verify
Convert VDM-SL proof obligations to SMT-LIB and verify with Z3.
Community
Advanced