Manusで任意のスキルを実行
ワンクリックで
ワンクリックで
ワンクリックでManusで任意のスキルを実行
始めるGitHub リポジトリ
HashMath
HashMath には SamuelSchlesinger から収集した 4 個の skills があり、リポジトリ単位の職業カバレッジとサイト内 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