AgentCC
MCP server that handles formal logic reasoning across multiple systems with external solver integration.