一键在 Manus 中运行任何 Skill

GitHub 创作者资料

NyxFoundation

按仓库查看 2 个 GitHub 仓库中的 3 个已收集 skills。

github/NyxFoundation 最大仓库：speca

已收集 skills

仓库

更新

2026-07-08

仓库分布

Skills 分布在哪些仓库

按已收集 skill 数展示主要仓库，并显示它们在该创作者目录中的占比和职业覆盖。

#01

speca

2 个 skills · 2026-02-21

1 个 skills · 2026-07-08

软件开发工程师

1 个职业分类 · 已分类 100%

33%占比

仓库浏览

仓库与代表性 skills

创作者/仓库/skill

#001

speca

2 个 skills44429更新于 2026-02-21

占该创作者 67%

skill

职业分类

描述

更新

subgraph-extractor

软件开发工程师

Extract program graphs from a single specification document following Nielson & Nielson's formal definition.

2026-02-21

spec-discovery

软件开发工程师

Crawl and discover specification documents from a given URL.

2026-02-05

#002

docs2formalspec

1 个 skills60更新于 2026-07-08

占该创作者 33%

skill

职业分类

描述

更新

docs2formalspec

软件开发工程师

Generate an RFC 2119-conformant specification document and a compiling Lean 4 formalization from documentation URLs or file paths.

2026-07-08

已展示 2 / 2 个仓库

已展示全部仓库