io.github.DennisPrediger/slac-mcpdev-tools

slac-mcp

Verified · 25 days ago

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

Install

claude mcp add slac-mcp -- npx -y [email protected]

Our take

This exposes SLAC, a simple logic and arithmetic compiler, as MCP tools that an LLM can call. It is mainly for developers experimenting with symbolic reasoning or deterministic computation inside agent workflows. The use case is narrow and technical, and the low adoption signals suggest a niche project rather than a broadly proven integration.

reviewed by hand · 2026-07-19

Something wrong or dead here? Report it

Verification record

last verified
25 days ago
github stars
0
last commit
2 mo ago
archived
no
license
Apache-2.0
npm
slac-mcp
downloads / wk
39
latest version
1.1.1
in registry since
2026-07-18

github.com/DennisPrediger/SLAC-MCP

More in dev-tools

browse all →
context7dev-tools

Context7

Verified · 22 days ago

Up-to-date code docs for any prompt

hand-reviewed61k starschecked 22 days ago

github-mcp-serverdev-tools

GitHub

Verified · 22 days ago

Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.

hand-reviewed32k starschecked 22 days ago

validatordev-tools

Oh My Posh Validator

Verified · 22 days ago

Validate oh-my-posh configurations and segment snippets against the official schema.

hand-reviewed23k starschecked 22 days ago

compiler-explorerdev-tools

Compiler Explorer

Verified · 14 days ago

Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links

hand-reviewed19k starschecked 14 days ago

registrydev-tools

MCP Registry Server

Verified · 26 days ago

Publish and discover MCP servers via the official MCP Registry. Powered by HAPI MCP server.

hand-reviewed7.1k starschecked 26 days ago