Exécutez n'importe quel Skill dans Manus
en un clic
en un clic
Exécutez n'importe quel Skill dans Manus en un clic
CommencerDépôt GitHub
HashMath
HashMath contient 4 skills collectées depuis SamuelSchlesinger, avec une couverture métier par dépôt et des pages de détail sur le site.
skills collectés
4
Stars
25
mis à jour
2026-03-10
Forks
0
Couverture métier
3 catégories métier · 100% classifié
explorateur de dépôts
Skills dans ce dépôt
créateur/dépôt/skill
skill
métier
description
mis à jour
hm-check
Programmeurs informatiques
Type-check HashMath (.hm) source code or files. Use when the user wants to verify that .hm code type-checks correctly.
2026-03-10
hm-prove
Mathématiciens
Help prove a theorem in HashMath. Use when the user wants to construct a proof term, define a theorem, or needs help writing .hm proof code.
2026-03-10
hm-search
Mathématiciens
Search for declarations in the HashMath environment by name pattern. Use when the user wants to find available definitions, theorems, or types.
2026-03-10
hm-test
Analystes en assurance qualité des logiciels et testeurs
Run the HashMath test suite. Use when the user wants to run tests, check if examples pass, or verify the type checker.
2026-03-10