Claude Task Master vs ProofSlip — MCP Server Comparison | AllMCPs