# proof

# Proof

## Quick Start

```bash
# Connect this server (installs CLI if needed)
npx -y @smithery/cli@latest mcp add duna-spice-skay/proof

# Browse available tools
npx -y @smithery/cli@latest tool list duna-spice-skay/proof

# Get full schema for a tool
npx -y @smithery/cli@latest tool get duna-spice-skay/proof catalog

# Call a tool
npx -y @smithery/cli@latest tool call duna-spice-skay/proof catalog '{}'
```

## Direct MCP Connection

Endpoint: `https://proof--duna-spice-skay.run.tools`

## Tools (5)

- `catalog` — What's in the knowledge graph? What can I do?
- `search` — Find symbols, examples, or patterns by keyword.
- `explain` — Get everything about a symbol: metadata, methods, deps, docs, gotchas.
- `build_agent` — Build a working agent from a natural language description.
- `report` — Report what happened after using a pattern or building an agent.

```bash
# Get full input/output schema for a tool
npx -y @smithery/cli@latest tool get duna-spice-skay/proof <tool-name>
```

## Prompts (1)

- `build_agent_prompt` (description, features) — Generate a guided prompt for building an agent.