Logic-LM (Answer Set Programming)

Name: Logic-LM (Answer Set Programming)
Author: shipitsteven

Logic-LM (Answer Set Programming) boosts language models with formal logical reasoning and multi-step deduction via Clin

Installation

Paste the snippet below into your client's config.

Installation

Quick info

Category: AI & Machine Learning
Transport: STDIO
License: MIT
GitHub stars: 4
Views: 255

Compatible with

Claude Code
Claude Desktop
codex
Cursor
gemini-cli
VS Code
Windsurf

GitHub repo

Found in: mcp.directory

Overview

Enhances language models with formal logical reasoning capabilities by translating natural language problems to Answer Set Programming code, executing symbolic reasoning with Clingo solver, and interpreting results back to natural language for constraint satisfaction and multi-step deduction tasks.

Related servers

Official

Tripo 3D

by vast-ai-research

Integrate AI-powered Tripo 3D generation API with Blender 3D addon for seamless text-to-3D model creation and advanced 3

180Claude CodeClaude Desktopcodex

Official

Clerk

by clerk

Securely manage Clerk authentication, users, sessions, orgs, and authorization for seamless identity and access control.

1,693Claude CodeClaude Desktopcodex

ImageSorcery

by sunriseapps

Unlock powerful image manipulation with ImageSorcery: resize, crop, detect objects, and perform optical character recogn

308Claude CodeClaude Desktopcodex

Sequential Thinking Multi-Agent System

by fradser

Orchestrate complex problem-solving with our multi agent system—specialized agents offer deep, structured, and parallel

297Claude CodeClaude Desktopcodex

Official

Arize Phoenix

by arize-ai

Arize Phoenix — unified interface for managing prompts, exploring datasets, and running LLM experiments across providers

9,459Claude CodeClaude Desktopcodex

Official

Genkit

by firebase

Genkit — consume MCP resources or expose powerful Genkit tools as a server for streamlined development and integration.

5,841Claude CodeClaude Desktopcodex