plclub

New Example — Development skill for Claude Code

Development community

New hs-to-rocq Example.

How to install New Example

Installs to ~/.claude/commands/plclub-hs-to-coq-new-example.md

Terminal

mkdir -p ~/.claude/commands && curl -fsSL https://raw.githubusercontent.com/plclub/hs-to-coq/HEAD/.claude/commands/new-example.md -o ~/.claude/commands/plclub-hs-to-coq-new-example.md

Restart Claude Code, or start a new session, for it to be picked up.

What New Example does

New hs-to-rocq Example

Create a new hs-to-rocq example that translates a Haskell library to Coq. This skill sets up the directory structure, configures the build system, and iteratively translates the library following the Translation Principles from CLAUDE.md.

Arguments

The argument should be the library name and its Git repository URL, e.g.:

/new-example mtl https://github.com/haskell/mtl.git

If only a name is given, ask the user for the repository URL.

Phase 1: Setup

Alternatives in Development

Claude Code Examples — Official example projects and patterns from Anthropic 35.6k ★
Example Plugin — Reference implementation for plugin developers 14k ★
Claude How To — by luongnv89 — Example-driven guide to mastering Claude Code through progressive tutorials with copy-paste tem 8.5k ★