ProofKit Operator | MCP Servers | Trending Society