AIbase
Biblioteca de produtosNavegação de ferramentas

mcp-logic

Public

一个基于Python的模型上下文协议(MCP服务器)工具,它利用Prover9/Mace4,实现功能完备的AI逻辑计算器,适用于Windows Claude App等应用。

Hora de criação2025-01-14T07:34:09
Hora de atualização2025-04-03T03:15:38
20
Stars
0
Stars Increase