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•419 B
"""
Logic-LM MCP Server Package
A Model Context Protocol server that provides symbolic reasoning capabilities
using Logic-LM framework and Answer Set Programming.
"""
from .logic_framework import LogicFramework, LogicResult, ClingoSolver
from .asp_templates import ASPTemplateLibrary, ASPTemplate
__all__ = [
"LogicFramework",
"LogicResult",
"ClingoSolver",
"ASPTemplateLibrary",
"ASPTemplate"
]