SpecProof
S
SpecProof
/get_requirements

Get Requirements

List normative requirements (RFC 2119 / BCP 14 "shall/should/may" statements) extracted from specifications, each cited back to its source clause. Args

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 /get_requirements for me.

Input

FieldTypeDescription
spec_numberstring
obligationstring
searchstring
limitinteger default 30

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":"/get_requirements","input":{"limit":30}}'
cli
npx cracked-ai run -p mcp-ai-specproof-specproof-mcp -e /get_requirements -i '{"limit":30}'
mcp
run_tool({ provider: "mcp-ai-specproof-specproof-mcp", endpoint: "/get_requirements", input: {"limit":30} })

Try it

Runs against your signed-in workspace balance. Sign in if you have not.