Pyke MCP Server

Item: Pyke MCP Server
Rating: 43
Author: M8ven

An MCP server for the Pyke logic programming engine that enables LLMs to perform logical reasoning using knowledge bases with facts, rules, and queries. It supports session management, forward chaining inference, and bulk loading of programs in Logic-LLM format.

→ NewJerseyStyle/pyke-mcp · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

✅

Open source with a license and README

Anyone can audit the code, the license is declared, and the publisher documents what it does.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 1 concrete improvement we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/newjerseystyle-pyke-mcp-1g5oag)](https://m8ven.ai/mcp/newjerseystyle-pyke-mcp-1g5oag)

commit: 593848c9b1fab4498eb4f4525b6670f3bae2e439

code hash: 7649e52619d68a5bb4453c0d95cb59552d1be95b3d0801f420f95ba8b4469eeb

verified: 6/12/2026, 11:17:32 AM

view raw JSON →