Searching protocol for "spectral-gap"
Discover related theorems via random-walk guided exploration.
Strategic edge removal while preserving spectral gap.
LocalSend-based P2P transfer with MCP server design.
Real-time prover health checks with automated remediation.