hoon-development

Write idiomatic Hoon code for the Prover NockApp kernel.

Updated Dec 26, 2025

Search Tags:#debugging #kernel #state-management #compile #hoon #poke #nockapp

Ready to run

npx skills add https://github.com/mjohngreene/nockup-prover --skill hoon-development

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: hoon-development
Source: https://github.com/mjohngreene/nockup-prover/tree/main/.claude/skills/hoon-development
Command: npx skills add https://github.com/mjohngreene/nockup-prover --skill hoon-development

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill helps you write idiomatic Hoon code for the Prover NockApp kernel, enabling reliable state management and poke patterns.

Core Features & Use Cases

Hoon Syntax & Patterns: Learn core Hoon patterns for state, poke, arms, and types.
State Management: Versioned state updates and safe immutable changes.
Build & Debug: Compile Hoon to Nock, and verify with checks.

Quick Start

Create a simple state machine in Hoon, then compile with hoonc and run unit tests.