ekirton

Textbook — Development skill for Claude Code

Development community

You are executing the /textbook command.

How to install Textbook

Installs to ~/.claude/skills/ekirton-poule-textbook/SKILL.md

Terminal

mkdir -p ~/.claude/skills/ekirton-poule-textbook && curl -fsSL https://raw.githubusercontent.com/ekirton/Poule/HEAD/commands/textbook.md -o ~/.claude/skills/ekirton-poule-textbook/SKILL.md

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

What Textbook does

You are executing the `/textbook` command. Your job is to retrieve and present relevant passages from the Software Foundations textbook in response to the user's query about a Coq concept, tactic, or proof technique.

The user provides a query in one of these forms:

A natural-language question (e.g., "how does induction work?")
A tactic or concept name (e.g., "rewrite", "propositions")
A query with a volume filter (e.g., --volume lf what is a proposition)

Step 1: Parse the input

Alternatives in Development

Gemini CLI Foundations — This repository is a comprehensive skills library for Gemini CLI - reusable, production-ready skill packages t 5.3k ★
Claude Certified Architect — This repository contains study materials for the Claude Certified Architect — Foundations certification 4.6k ★
GGA — Agent Skills Index — When working on this project, load the relevant skill(s) BEFORE writing any code 948 ★