# Pyke MCP Server

> Use this tool when you need to integrate logical reasoning into large language models (LLMs) using knowledge bases with facts, rules, and queries. It solves problems related to logical inference, session management, and bulk program loading, enabling LLMs to perform complex reasoning tasks. The Pyke MCP Server takes in Logic-LLM formatted programs and outputs inferred results, making it ideal for applications requiring robust logical reasoning capabilities.

Canonical page: https://skillsregistry.net/skills/newjerseystyle-pyke-mcp  
JSON: https://api.skillsregistry.net/v1/skills/newjerseystyle-pyke-mcp

## Description

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.

## Trust

- **Trust score (0–1):** 0.94
- **Verification tier:** verified
- **Last scanned:** 2026-09-19

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** ai-ml
- **Updated:** 2026-09-19

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/dwy41c635k)
- **Repository:** <https://github.com/NewJerseyStyle/pyke-mcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "newjerseystyle-pyke-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/newjerseystyle-pyke-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/newjerseystyle-pyke-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt