Summary
Lets Claude search through 3GPP, IETF, and MPEG standards documents using semantic and full-text search. You get back citations with section numbers, page references, and source release versions. The server runs as a managed MCP endpoint at mcp.specproof.ai with API key auth and IP allowlisting. Built on a FAISS-accelerated index with 600k+ chunks and sub-second query times. Reach for this when you're working on telecom protocols, network architecture, or codec implementation and need to pull exact clauses from standards docs without manually paging through PDFs. Free tier gives you 1k searches to try it out.
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →
Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →
Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →
Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →Featured
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →
