Logic-LM MCP Server

__init__.py•446 B

""" Logic-LM MCP Server A Model Context Protocol (MCP) server that provides symbolic reasoning capabilities using Logic-LM framework and Answer Set Programming (ASP). """ __version__ = "1.0.0" from .logic_framework import LogicFramework, LogicResult, ClingoSolver from .asp_templates import ASPTemplateLibrary, ASPTemplate __all__ = [ "LogicFramework", "LogicResult", "ClingoSolver", "ASPTemplateLibrary", "ASPTemplate" ]

Loading blob content...

Latest Blog Posts

Redis vs ioredis vs valkey-glide
By punkpeye on January 26, 2026.
benchmark
Redis
valkey
Quickstart: Publish an MCP Server to the MCP Registry
By punkpeye on January 24, 2026.
mcp
official reference mirror
Official MCP Registry Server.json Requirements
By punkpeye on January 24, 2026.
mcp
official reference mirror

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/shipitsteven/logic-lm-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server

__init__.py•446 B