Infrastructure for verifiable applications on Solana. Ships an MCP server that serves docs-as-a-tool for building proof-backed apps.