S
SpecProof
/list_documents
List Documents
List available specification documents. Args: doc_type: Filter by document type - "3gpp", "ietf", or "mpeg" (optional) search_pattern:
liveunknown~5s typical
mcpspecproof
$0.0020
per call
plus $0.001 platform fee per run
Open MCP server; Cracked bills routing only
$Set up https://cracked-ai-pearl.vercel.app/SKILL.md, then use Cracked to run mcp-ai-specproof-specproof-mcp /list_documents for me.
Input
| Field | Type | Description |
|---|---|---|
| doc_type | string | |
| search_pattern | string | |
| limit | integer | default 20 |
Call it
curl
curl https://cracked-ai-pearl.vercel.app/v1/run \
-H "Authorization: Bearer ck_live_..." -H "content-type: application/json" \
-d '{"provider":"mcp-ai-specproof-specproof-mcp","endpoint":"/list_documents","input":{"limit":20}}'cli
npx cracked-ai run -p mcp-ai-specproof-specproof-mcp -e /list_documents -i '{"limit":20}'mcp
run_tool({ provider: "mcp-ai-specproof-specproof-mcp", endpoint: "/list_documents", input: {"limit":20} })Try it
Runs against your signed-in workspace balance. Sign in if you have not.