القائمة
Run the HashMath test suite. Use when the user wants to run tests, check if examples pass, or verify the type checker.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
Type-check HashMath (.hm) source code or files. Use when the user wants to verify that .hm code type-checks correctly.
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.
Search for declarations in the HashMath environment by name pattern. Use when the user wants to find available definitions, theorems, or types.
استنادا إلى تصنيف SOC المهني
| name | hm-test |
| description | Run the HashMath test suite. Use when the user wants to run tests, check if examples pass, or verify the type checker. |
Run the HashMath type-checker test suite.
If the argument includes "build", first rebuild the hm binary:
cd /Users/samuelschlesinger/projects/formalization/HashMath/lean && lake build hm
Run the test suite:
cd /Users/samuelschlesinger/projects/formalization/HashMath/lean && bash test.sh
Report results: