MCP servers tagged neurosymbolic

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

live servers

avg trust

Lemmalog

A Datalog engine for LLM agent memory: stratified rules, provenance-tracked facts, incremental derivation, and an MCP server that lets your harness use it as a shared brain.

Prolog Agent Toolkit

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

Hyperpolymath

Jonathan D.A. Jewell - Polyglot software architecture portfolio

Kano Showcase

Walk a generated world, then ask it why — Hīkoi, a first-person viewer for a fully generated planet (geology, climate, hydrology, life), plus a local MCP server so your own AI can…

Nsforge MCP

Neurosymbolic Forge — an MCP server that turns concepts into verifiable, traceable formulas via deterministic symbolic derivation with provenance. 89 tools, 10-gate verification h…

Cornercheck

Fail-closed fighter-clearance Slack agent: cross-jurisdiction medical suspensions, ARP return windows, tamper-evident audit ledger. Slack Agent Builder Challenge (Agent for Good).