Run any Skill in Manus with one click

GitHub creator profile

NyxFoundation

Repository-level view of 3 collected skills across 2 GitHub repositories.

github/NyxFoundation largest repo: speca

skills collected

repositories

updated

2026-07-08

repository map

Where the skills live

Top repositories by collected skill count, with their share of this creator catalog and occupation spread.

#01

speca

2 skills · 2026-02-21

Software Developers

1 occupation categories · 100% classified

67%share

#02

docs2formalspec

1 skills · 2026-07-08

Software Developers

1 occupation categories · 100% classified

33%share

repository explorer

Repositories and representative skills

creator/repo/skill

#001

speca

2 skills44429updated 2026-02-21

67% of creator

skill

occupation

description

updated

subgraph-extractor

software-developers

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

2026-02-21

spec-discovery

software-developers

Crawl and discover specification documents from a given URL.

2026-02-05

#002

docs2formalspec

1 skills60updated 2026-07-08

33% of creator

skill

occupation

description

updated

docs2formalspec

software-developers

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

2026-07-08

Showing 2 of 2 repositories

All repositories loaded