MCP逻辑求解器是一个结合大型语言模型与形式化定理证明能力的强大推理系统，支持自然语言和一阶逻辑输入，通过Prover9/Mace4进行自动验证，并提供结构化推理和解释。

IntelliGlow是一个基于MCP协议的智能照明系统，通过AI助手控制真实智能灯泡，支持语音命令、AI推理和直接硬件控制，实现自然语言交互和智能灯光管理。

IntelliGlow是一个基于MCP协议的AI智能照明控制系统，通过UDP网络直接控制真实智能灯泡，支持语音命令、AI推理和硬件控制，实现自然语言交互与智能家居的无缝对接。