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

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

tdwag123

Profil créateur GitHub

tdwag123

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

github/tdwag123 plus grand dépôt : Vibe-Proving-Skills

skills collectés

1

dépôts

1

mis à jour

2026-04-23

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.

Vibe-Proving-Skills

1 skills · 2026-04-23

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

Vibe-Proving-Skills

1 skills30mis à jour 2026-04-23

100% du créateur

skill

métier

description

mis à jour

lean4-guidelines

Développeurs de logiciels

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.

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