Loading connector details…
Clingo-MCP Server
MCPOpen Source31.4
by NewJerseyStyle • Uncategorized
A neurosymbolic AI server combining Clingo's ASP solver with Model Context Protocol for hybrid AI applications.
Example Use Cases
- 1
Run and solve ASP programs incrementally within a session.
- 2
Manage and persist ASP program sessions to disk.
- 3
That require type-safe interaction with an ASP solver via WebAssembly.
Description
Clingo-MCP Server provides an in-memory session-based Answer Set Programming solver compiled to WebAssembly, enabling incremental program building, session management, and type-safe I/O via Zod schemas. It offers six core tools for solving, program manipulation, and session persistence, facilitating integration with AI agents and hybrid AI workflows. The server is built on clingo-wasm and MCP Protocol, supporting efficient and flexible neurosymbolic reasoning.
Capabilities(6 total)
Tools (6)
solve
Solves an ASP (Answer Set Programming) program using Clingo and returns the answer sets. The program can include the current session program.
program:string*models:number
addToProgram
Adds ASP facts or rules to the current in-memory program session
code:string*
clearProgram
Clears the current in-memory program session
getProgram
Returns the current in-memory ASP program
saveSession
Saves the current ASP program session to a file for later loading
filename:string*
Quick Actions
Security
Scanned 1 month(s) agoRisk Level
MINIMAL
Read-only data retrieval, no side effects
Trust Score
C56/100
9/17 checks passed
Scores are informational only and provided “as is” without warranty. AgentHotspot assumes no liability for actions taken based on these ratings.
Quick Stats
Service TypeMCP
Pricing ModelFree
Capabilities6 Tools / 0 Prompts / 0 Resources
OwnerNewJerseyStyle
CategoryUncategorized
DependenciesStandalone
Tags
mcp-server