Exécutez n'importe quel Skill dans Manus
en un clic

Exécutez n'importe quel Skill dans Manus en un clic

Profil créateur GitHub

NyxFoundation

Vue par dépôt de 3 skills collectés dans 2 dépôts GitHub.

github/NyxFoundation plus grand dépôt : speca

skills collectés

dépôts

mis à jour

2026-07-08

carte des dépôts

Où se trouvent les skills

Principaux dépôts par nombre de skills collectés, avec leur part dans ce catalogue créateur et leur couverture métier.

#01

speca

2 skills · 2026-02-21

Développeurs de logiciels

1 catégories métier · 100% classifié

67%part

#02

docs2formalspec

1 skills · 2026-07-08

Développeurs de logiciels

1 catégories métier · 100% classifié

33%part

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

#001

speca

2 skills44429mis à jour 2026-02-21

67% du créateur

skill

métier

description

mis à jour

subgraph-extractor

Développeurs de logiciels

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

2026-02-21

spec-discovery

Développeurs de logiciels

Crawl and discover specification documents from a given URL.

2026-02-05

#002

docs2formalspec

1 skills60mis à jour 2026-07-08

33% du créateur

skill

métier

description

mis à jour

docs2formalspec

Développeurs de logiciels

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

2026-07-08

2 dépôts affichés sur 2

Tous les dépôts sont affichés