标签：逻辑验证

为小型语言模型提供验证的符号数学和逻辑工具的服务，可通过MCP协议调用。