Execute qualquer Skill no Manus
com um clique

Execute qualquer Skill no Manus com um clique

EgbertRijke

Perfil de criador do GitHub

EgbertRijke

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

github/EgbertRijke maior repositório: HoTT-Rosetta

skills coletadas

1

repositórios

1

atualizado

2026-06-07

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.

1 skills · 2026-06-07

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

1 skills30atualizado 2026-06-07

100% do criador

skill

ocupação

descrição

atualizado

hott-rosetta-translation

Desenvolvedores de software

Translate LaTeX sources in book/ into literate Agda Markdown files in src/ for HoTT-Rosetta. Use when creating chapter, section, or exercise .lagda.md files from the book sources, preserving repository naming, module, markdown, and Agda conventions.

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos

Execute qualquer Skill com um clique