在 Manus 中运行任何 Skill
一键导入
一键导入
一键在 Manus 中运行任何 Skill
开始使用已收集 skills
2
Stars
390
更新
2026-07-13
Forks
22
职业覆盖
1 个职业分类 · 已分类 100%
仓库浏览
这个仓库中的 skills
创作者/仓库/skill
skill
职业分类
描述
更新
vera-language
软件开发工程师
Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.
2026-07-13
vera-language
软件开发工程师
Write programs in the Vera programming language. Use when asked to write, edit, debug, or review Vera code (.vera files). Vera is a statically typed, purely functional language with algebraic effects, mandatory contracts, and typed slot references (@T.n) instead of variable names.
2026-07-13