ProofCheck | MCP Servers | Trending Society