Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기GitHub 저장소
HashMath
HashMath에는 SamuelSchlesinger에서 수집한 skills 4개가 있으며, 저장소 수준 직업 범위와 사이트 내 skill 상세 페이지를 제공합니다.
수집된 skills
4
Stars
25
업데이트
2026-03-10
Forks
0
직업 범위
직업 카테고리 3개 · 100% 분류됨
저장소 탐색
이 저장소의 skills
제작자/저장소/skill
skill
직업 분류
설명
업데이트
hm-check
컴퓨터 프로그래머
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
수학자
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
수학자
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
소프트웨어 품질 보증 분석가·테스터
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