Skip to main content
skillsmp

Menu

Execute qualquer Skill no Manus
com um clique
Kernel-Science
Perfil de criador do GitHub

Kernel-Science

Visão por repositório de 1 skills coletadas em 1 repositórios do GitHub.

github/Kernel-Sciencemaior repositório: physlibsearch
skills coletadas
1
repositórios
1
atualizado
2026-04-22
mapa de repositórios

Onde as skills estão

Principais repositórios por número de skills coletadas, com sua participação neste catálogo do criador e sua distribuição ocupacional.

#01
physlibsearch
1 skills · 2026-04-22
Desenvolvedores de software
1 categorias ocupacionais · 100% classificado
100%participação
explorador de repositórios

Repositórios e skills representativas

#001
physlibsearch
1 skills92atualizado 2026-04-22
100% do criador
physlibsearch
Desenvolvedores de software

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.

2026-04-22
Mostrando 1 de 1 repositórios
Todos os repositórios foram exibidos