Execute qualquer Skill no Manus
com um clique

Execute qualquer Skill no Manus com um clique

tdwag123

Perfil de criador do GitHub

tdwag123

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

github/tdwag123 maior repositório: Vibe-Proving-Skills

skills coletadas

1

repositórios

1

atualizado

2026-04-23

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.

Vibe-Proving-Skills

1 skills · 2026-04-23

Desenvolvedores de software

1 categorias ocupacionais · 100% classificado

100%participação

explorador de repositórios

Repositórios e skills representativas

criador/repositório/skill

Vibe-Proving-Skills

1 skills30atualizado 2026-04-23

100% do criador

skill

ocupação

descrição

atualizado

lean4-guidelines

Desenvolvedores de software

Lean 4 formalization and proving workflow. Use for theorem formalization, definition design, proof construction, and proof repair with MCP self-check and Mathlib-first reuse.

Mostrando 1 de 1 repositórios

Todos os repositórios foram exibidos

Execute qualquer Skill com um clique