Jeden Skill in Manus ausführen
mit einem Klick

Jeden Skill in Manus mit einem Klick ausführen

jrh13

GitHub-Creator-Profil

jrh13

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

github/jrh13 größtes Repository: hol-light

gesammelte Skills

1

Repositories

1

aktualisiert

2026-06-04

Repository-Karte

Wo die Skills liegen

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

1 Skills · 2026-06-04

Softwareentwickler

1 Berufskategorien · 100% klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills54598aktualisiert 2026-06-04

100% des Creators

Skill

Beruf

Beschreibung

Aktualisiert

Softwareentwickler

Prove theorems in HOL Light via MCP tools. Use when the user asks to prove a theorem, verify a proof, or work with HOL Light tactics, goals, or lemmas.

1 von 1 Repositories angezeigt

Alle Repositories angezeigt

Jeden Skill mit einem Klick ausführen