How does interactive discovery work?

By running /help, Claude asks what you are trying to achieve (e.g., fixing a bug or building a feature) and then suggests the most relevant agents and commands.

What is the /help skill in Claude Code?

It is an interactive workspace navigator that helps you identify and use the right agents, tools, and workflows for specific coding objectives.

Can I see a list of all available agents?

Yes, using the '/help agents' command displays a full catalog of specialist agents categorized by their purpose, such as exploration, planning, or implementation.

How do I find information on active hooks?

The '/help hooks' command lists all active session lifecycle, tool interception, and validation hooks currently extending Claude's behavior.

Does this skill help with formal verification?

Yes, it provides guidance on using the /prove skill for formal verification with Lean 4 and identifying the necessary local models.

Workspace Discovery Guide

Name: Workspace Discovery Guide
Author: carmandale

bycarmandale

•

Learning & Documentation

Guides users through available workflows, agents, tools, and hooks within the Claude Code environment.

About

This skill acts as an interactive command-line hub for workspace navigation, providing a structured way for users to discover and leverage specialized agents and automated workflows. Whether you need to fix a bug, build a new feature, or perform formal verification, the /help system routes you to the optimal set of tools and implementation patterns, ensuring you utilize the full power of your AI coding environment without needing to memorize complex command structures.

Key Features

Interactive goal-based discovery to match tasks with the right tools
1 GitHub stars
Quick reference for built-in CLI utilities and formal verification commands
Detailed documentation of automated workflows like /fix, /build, and /tdd
Comprehensive catalog of specialist agents for planning, implementation, and review
Deep-dive lookup for specific skill and agent configurations

Use Cases

Understanding the active lifecycle hooks and safety checks in a workspace
Onboarding developers to complex AI-augmented codebase environments
Determining the most efficient agent or workflow for a specific debugging task

About

Key Features

Interactive goal-based discovery to match tasks with the right tools
1 GitHub stars
Quick reference for built-in CLI utilities and formal verification commands
Detailed documentation of automated workflows like /fix, /build, and /tdd
Comprehensive catalog of specialist agents for planning, implementation, and review
Deep-dive lookup for specific skill and agent configurations

Use Cases

Understanding the active lifecycle hooks and safety checks in a workspace
Onboarding developers to complex AI-augmented codebase environments
Determining the most efficient agent or workflow for a specific debugging task