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

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

Kernel-Science

Profil créateur GitHub

Kernel-Science

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

github/Kernel-Science plus grand dépôt : physlibsearch

skills collectés

1

dépôts

1

mis à jour

2026-04-22

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.

1 skills · 2026-04-22

Développeurs de logiciels

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

explorateur de dépôts

Dépôts et skills représentatifs

créateur/dépôt/skill

1 skills92mis à jour 2026-04-22

100% du créateur

skill

métier

description

mis à jour

Développeurs de logiciels

Semantic search over Physlib, a formal Lean 4 library of physics theorems and definitions. Use when asked to find Lean 4 declarations related to physics or mathematics, look up formal proofs, retrieve theorem signatures, or browse the Physlib module hierarchy.

1 dépôts affichés sur 1

Tous les dépôts sont affichés

Exécutez n'importe quel Skill en un clic

Kernel-Science Agent Skills | SkillsMP