Run any Skill in Manus
with one click
with one click
Run any Skill in Manus with one click
Get StartedGitHub repository
HashMath
HashMath contains 4 collected skills from SamuelSchlesinger, with repository-level occupation coverage and site-owned skill detail pages.
skills collected
4
Stars
25
updated
2026-03-10
Forks
0
Occupation coverage
3 occupation categories · 100% classified
repository explorer
Skills in this repository
creator/repo/skill
skill
occupation
description
updated
hm-check
computer-programmers
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
mathematicians-152021
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
mathematicians-152021
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
software-quality-assurance-analysts-and-testers
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