hymme

Listed

形式検証、やテスト設計、エージェントループを行い、謳うようにコーディングするagent skills

plugin 0 stars 0 forks Updated yesterday

Install

Plugins install via a marketplace, in two steps.

This plugin isn't listed in a marketplace we've indexed. Install it directly from its GitHub repository — the README has the setup steps.

Everything this plugin ships — skills, agents, commands, hooks, and MCP servers it bundles.

code-reviewer.md coder.md diff-reviewer.md formal-verification-reviewer.md loop-engineering-reviewer.md modeler.md prover.md test-design-reviewer.md

git-guard.sh hooks.json loopeng-extract-gate.sh pr-review-gate.sh session-start.sh test-design-extract-gate.sh

Stars 20%

Recency 20%

100

Manifest 20%

Documentation 15%

Issue Health 10%

License 10%

Description 5%

100