1. Conduid
  2. Marketplace
  3. #prolog
Tag

MCP servers tagged prolog

6 live MCP servers tagged "prolog", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with prolog.

6
live servers
35
avg trust
1

Chiasmus

Chiasmus is an MCP server that gives language models access to formal verification

39
2

Vpursuit Swipl MCP Server

SWI-Prolog integration for Model Context Protocol - orchestrator package

37
3

rikarazome/prolog-reasoner

only accuracy on 30 logic problems.

34
4

Prolog Agent Toolkit

Prolog Agent Framework, Reusable Agent Skills, MCP Server Pattern, Neurosymbolic AI, and Safe Multi-Engine Execution (Scryer, SWI, Trealla, Tau).

34
5

Zpm

Sounds like "Zig Prolog MCP"

34
6

Smart Panels

DataGrout

Smart Panels for DataGrout: declarative UI stored as logic-cell facts, rendered natively with egui or transpiled to MCP Apps

34
← Previous Page 1 of 1 Next →