pyke-mcp

# Pyke MCP Server An MCP (Model Context Protocol) server for the [Pyke](https://pyke.sourceforge.net/) logic programming inference engine. This server enables LLMs to perform logical reasoning through knowledge bases with facts, rules, and queries. ## Features - **Fact Management**: Add ground truth facts to the knowledge base - **Rule Definition**: Define inference rules using forward chaining - **Query Execution**: Check if facts can be derived from the knowledge base - **Goal Proving**: Find all variable bindings that satisfy a goal - **Session Management**: Support multiple independent knowledge bases - **Logic-LLM Compatible**: Load programs in Logic-LLM format ## Installation ### Using pip ```bash pip install git+https://github.com/evertrol/pyke3 pyke-mcp ``` ### From source ```bash git clone https://github.com/NewJerseyStyle/pyke-mcp.git cd pyke-mcp pip install -e . ``` ### Dependencies - Python 3.10+ - `mcp>=1.2.0` - `pyke>=1.1.1` (Install from source by `pip install git+https://github.com/evertrol/pyke3` but the package name is `pyke` not `pyke3`) ## Quick Start ### Running the Server ```bash # Using the installed command pyke-mcp # Or using Python python -m pyke_mcp.server ``` ### Configuration for Claude Desktop Add to your `claude_desktop_config.json`: **macOS/Linux:** ```json { "mcpServers": { "pyke": { "command": "pyke-mcp" } } } ``` **Windows:** ```json { "mcpServers": { "pyke": { "command": "pyke-mcp" } } } ``` Or with explicit Python path: ```json { "mcpServers": { "pyke": { "command": "python", "args": ["-m", "pyke_mcp.server"] } } } ``` ## Available Tools ### `add_fact` Add a fact to the knowledge base. ``` Predicate(arg1, arg2, ...) ``` **Examples:** - `Human(Socrates, True)` - Socrates is human - `Parent(John, Mary)` - John is a parent of Mary ### `add_rule` Add an inference rule using forward chaining. ``` Premise >>> Conclusion Premise1 && Premise2 >>> Concl…