Jeden Skill in Manus ausführen
mit einem Klick

Jeden Skill in Manus mit einem Klick ausführen

tdwag123

GitHub-Creator-Profil

tdwag123

Repository-Ansicht von 1 gesammelten Skills in 1 GitHub-Repositories.

github/tdwag123 größtes Repository: Vibe-Proving-Skills

gesammelte Skills

1

Repositories

1

aktualisiert

2026-04-23

Repository-Karte

Wo die Skills liegen

Top-Repositories nach gesammelter Skill-Anzahl, mit ihrem Anteil an diesem Creator-Katalog und ihrer Berufsverteilung.

Vibe-Proving-Skills

1 Skills · 2026-04-23

Softwareentwickler

1 Berufskategorien · 100% klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

Vibe-Proving-Skills

1 Skills30aktualisiert 2026-04-23

100% des Creators

Skill

Beruf

Beschreibung

Aktualisiert

lean4-guidelines

Softwareentwickler

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 von 1 Repositories angezeigt

Alle Repositories angezeigt

Jeden Skill mit einem Klick ausführen