Search

PythonReactSEOPDF

greenhat AI Skills

GitHub ↗

Browse published AI skills maintained by greenhat. Compare skill descriptions and follow each source repository for setup instructions.

Author statistics

Indexed skills

5

Repository stars across indexed skills

0

Repository forks

0

Average repository stars per indexed skill

0

Repository stars may repeat across skills from the same repository.

5 skills

Browse skills

GitHub

midenc-execution-trace

greenhat

Use when working on the Miden compiler (`midenc` / `cargo miden`), debugging failing tests or implementing compiler changes, and you need a Miden VM MASM execution trace to understand the stack state after each...

GitHub

emit

greenhat

Use when working on the Miden compiler (`cargo miden`, `cargo-miden`) and its integration test suite, debugging compiler issues or failing tests, or implementing compiler changes and you need to inspect interme...

GitHub

commit-message-style

greenhat

Write commit messages in the preferred generic style: `type: imperative summary` with backticks around code identifiers and no scope. Use when you are about to `git commit`, splitting work into multiple commits...

GitHub

miden-assembly

greenhat

Guide for understanding and writing Miden VM assembly (MASM) code. Use when: (1) Reading, analyzing, or explaining MASM code (2) Writing new MASM procedures or programs (3) Debugging MASM execution or stack sta...

GitHub

current-branch-diff

greenhat

Read the code changes in the current Git branch compared to its parent branch, ignoring generated artifacts (`.wat`, `.hir`, `.masm`) and lockfiles (`.lock`). Run `git parent-branch` to print the parent branch...

The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.