DirectoryMcp Logic
ai-ml

Mcp Logic

by angrysky56

33
Health
stale
48
Popularity

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

43stars
11forks
Python
MIT
Updated March 11, 2026
#ai#claude-3-5-sonnet#llm#logic#mcp-server#server#tool

Add to Claude Desktop

Paste this into your claude_desktop_config.json file:

{
  "mcpServers": {
    "mcp-logic": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-logic"
      ]
    }
  }
}

⚠ Install method inferred — check the GitHub README for exact setup

Config file location: ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows)

Maintenance Healthstale

Freshness10/40
Issue response15/30
Org backing5/20
Longevity3/10
› Solo project

Server Info

Categoryai-ml
LanguagePython
LicenseMIT
StatusACTIVE
Free tier available

Get Your API Key

Claude API — the AI that powers most MCP use cases. Free tier available.

Get Claude API Key →

Submit Your Server

Built an MCP server? Get it listed in front of thousands of developers.

List Your Server Free
Back to Directory