proof
Proof
Quick Start
# Connect this server (installs CLI if needed)
npx -y smithery mcp add duna-spice-skay/proof
# Browse available tools
npx -y smithery tool list duna-spice-skay/proof
# Get full schema for a tool
npx -y smithery tool get duna-spice-skay/proof catalog
# Call a tool
npx -y smithery 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.
# Get full input/output schema for a tool
npx -y smithery tool get duna-spice-skay/proof Prompts (1)
build_agent_prompt(description, features) — Generate a guided prompt for building an agent.