Maps hymme verification and workflow skills onto superpowers development phases.
npx skills add https://github.com/Hakkadaikon/hymme --skill using-hymme-hakkadaikon
Please help me install this Agent Skill. Skill: using-hymme Source: https://github.com/Hakkadaikon/hymme/tree/main/skills/using-hymme Command: npx skills add https://github.com/Hakkadaikon/hymme --skill using-hymme-hakkadaikon
High-intent search queries and answers about installing and using this skill.
Load the using-hymme skill at session start to get the injection map. It tells you which hymme skill to invoke before each superpowers phase, such as loop-engineering during brainstorming and test-design after spec approval.
Run loop-engineering during superpowers brainstorming when the design involves state transitions, concurrency, or ordering that can be finitized. Use formal-verification's property catalog for critical algorithms or security properties before the spec is finalized.
Superpowers decides the engineering process phases, while hymme inserts verification and operations into each phase. For example, superpowers handles plan writing while hymme adds test-design T-ID ledgers, micro-commit for commits, and diff-review before PRs.
The hymme coder agent is the default implementer, following the ponytail minimalism principle and a TDD contract. Proof and model-checking work is dispatched separately by the controller to the prover and modeler agents.
No. The skill explicitly instructs subagents dispatched for specific tasks to ignore it. It is intended for the main session controller that decides which skills and agents to invoke at each workflow stage.
Soham407Install and document the recommended Claude Code plugin stack.
usk6666Run build and test commands, then create a GitHub pull request.
MoeGolibraryOrchestrate an AI-native software development workflow from requirements to delivery.
dtsongGenerate TLA+ specifications and TLC configurations for formal security verification.
