Search UK court judgments and tribunal decisions from the National Archives

AI-powered knowledge base for Double - Thank You with semantic search and question answering.

24 NEAR + Solana + Base blockchain endpoints with x402 USDC micropayments

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.