PluginBench
MCP Server
Maintained
Apache-2.0

io.github.DennisPrediger/slac-mcp MCP Server

io.github.DennisPrediger/slac-mcp

What is the io.github.DennisPrediger/slac-mcp MCP server?

MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents

How to install io.github.DennisPrediger/slac-mcp

Copy-paste configuration for popular MCP clients.

transport: stdio
Config generated by PluginBench — verify against the source before use.
~/Library/Application Support/Claude/claude_desktop_config.json
{
  "mcpServers": {
    "slac-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "slac-mcp"
      ]
    }
  }
}

Related MCP servers

Verified deals, store policies & a trust score for thousands of online retailers. No auth.

AI inference pricing for agents: live and historical model prices, provider comparison.

0
Python
MIT
View repository →
COConnapse logo

Connapse

Active

Self-hosted knowledge backend for AI agents with hybrid search, persistent memory, and 11 MCP tools.

13
C#
MIT
View repository →

Is this flight price good? Buy-or-wait verdict from 90 days of real observed fares per route

Fast, efficient code intelligence engine for AI agents — 158 languages, sub-ms queries, 99% fewer tokens.

23k
C
MIT
View repository →

Anti-firehose options-flow data for AI agents: curated daily pool, features, realized outcomes.

0
Python
MIT
View repository →