Pyke

Provides a Python-based MCP server for managing facts, rules, and queries to enable logic-based reasoning with Logic-LLM-compatible programs.

0

GitHub Stars

python

Language

4 months ago

First Indexed

2 months ago

Catalog Refreshed

Documentation & install

Readme and setup notes from the catalogue, plus a client-ready config you can copy for your MCP host.

Add the following to your MCP client configuration file.

Configuration

{
  "mcpServers": {
    "newjerseystyle-pyke-mcp": {
      "command": "pyke-mcp",
      "args": []
    }
  }
}

Add a fact to the knowledge base using a simple predicate syntax. This expands the current facts that the system can reason about.

Add an inference rule using forward chaining. Rules connect premises to conclusions and support logical derivations.

Bulk add multiple facts and rules at once to initialize or update a session efficiently.

Check whether a specific fact can be derived from the current knowledge base.

Find all variable bindings that satisfy a given goal, returning the possible substitutions.

Display the current contents of the active knowledge base, including facts and rules.

Clear all facts and rules from the current session to reset the knowledge base.

Load a complete Logic-LLM compatible program from formatted text into the server.

List all active knowledge base sessions.

Delete a specific session and all its contents.