AIbase
Product LibraryTool Navigation

mcp-logic

Public

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

Creat2025-01-14T07:34:09
Update2025-04-03T03:15:38
20
Stars
0
Stars Increase

Related projects