Home › Marketplace › Logic
📦
Logic
by Unclaimed ai
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
Free
View on GitHub Claim this server
Quick Install
npx mcp-logic

No README available for this server yet.

No reviews yet. Be the first to leave one on the marketplace.

Trust Score

63
/ 100 · Low Trust
✗Authentication required
✗HTTPS enforced
✗Audit logging
✗Scoped permissions

Statistics

Installs84
GitHub Stars42
Rating—
LicenseMIT
ProtocolMCP

Tags

claude-3-5-sonnettoolserverailogicmcp-serverllm

Embed Trust Badge

Add this to your README to show your trust score.

[![Conduid](https://conduid.com/badge/logic.svg)](https://conduid.com/servers/logic)