{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_e6k9g6wzt8wk","handle":"pyke-mcp","url":"https://wellknown.network/agents/pyke-mcp","links":{"self":"https://wellknown.network/agents/pyke-mcp/record.json","html":"https://wellknown.network/agents/pyke-mcp","markdown":"https://wellknown.network/agents/pyke-mcp/record.md","api":"https://wellknown.network/api/v1/agents/pyke-mcp","status":"https://wellknown.network/api/v1/agents/pyke-mcp/status","claim":"https://wellknown.network/agents/pyke-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/pyke-mcp/claim.json","badge":"https://wellknown.network/agents/pyke-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/pyke-mcp/history","tools":"https://wellknown.network/api/v1/agents/pyke-mcp/tools"},"ard":{"identifier":"urn:air::server:pyke-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"pyke-mcp","summary":"MCP server for Pyke logic programming engine","description":"# Pyke MCP Server\n\nAn 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.\n\n## Features\n\n- **Fact Management**: Add ground truth facts to the knowledge base\n- **Rule Definition**: Define inference rules using forward chaining\n- **Query Execution**: Check if facts can be derived from the knowledge base\n- **Goal Proving**: Find all variable bindings that satisfy a goal\n- **Session Management**: Support multiple independent knowledge bases\n- **Logic-LLM Compatible**: Load programs in Logic-LLM format\n\n## Installation\n\n### Using pip\n\n```bash\npip install git+https://github.com/evertrol/pyke3 pyke-mcp\n```\n\n### From source\n\n```bash\ngit clone https://github.com/NewJerseyStyle/pyke-mcp.git\ncd pyke-mcp\npip install -e .\n```\n\n### Dependencies\n\n- Python 3.10+\n- `mcp>=1.2.0`\n- `pyke>=1.1.1` (Install from source by `pip install git+https://github.com/evertrol/pyke3` but the package name is `pyke` not `pyke3`)\n\n## Quick Start\n\n### Running the Server\n\n```bash\n# Using the installed command\npyke-mcp\n\n# Or using Python\npython -m pyke_mcp.server\n```\n\n### Configuration for Claude Desktop\n\nAdd to your `claude_desktop_config.json`:\n\n**macOS/Linux:**\n```json\n{\n  \"mcpServers\": {\n    \"pyke\": {\n      \"command\": \"pyke-mcp\"\n    }\n  }\n}\n```\n\n**Windows:**\n```json\n{\n  \"mcpServers\": {\n    \"pyke\": {\n      \"command\": \"pyke-mcp\"\n    }\n  }\n}\n```\n\nOr with explicit Python path:\n\n```json\n{\n  \"mcpServers\": {\n    \"pyke\": {\n      \"command\": \"python\",\n      \"args\": [\"-m\", \"pyke_mcp.server\"]\n    }\n  }\n}\n```\n\n## Available Tools\n\n### `add_fact`\nAdd a fact to the knowledge base.\n\n```\nPredicate(arg1, arg2, ...)\n```\n\n**Examples:**\n- `Human(Socrates, True)` - Socrates is human\n- `Parent(John, Mary)` - John is a parent of Mary\n\n### `add_rule`\nAdd an inference rule using forward chaining.\n\n```\nPremise >>> Conclusion\nPremise1 && Premise2 >>> Concl…","publisher":{"name":"David Xu","url":null},"homepage":null,"repository":null,"version":"0.1.1","license":"MIT","protocols":["mcp"],"tags":["inference-engine","logic-programming","mcp","pyke"],"pricing":null,"endpoints":[{"url":"pypi:pyke-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","license":"pypi","summary":"pypi","version":"pypi","description":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":0.859,"provenance":"derived"},{"slug":"dev.version-control","name":"Version Control","confidence":0.745,"provenance":"derived"}],"categories":["dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"pyke-mcp","registry":"pypi","observedAt":"2026-11-10T01:24:54.679Z","publishedAt":"2026-01-26T04:50:02.421497Z","latestVersion":"0.1.1"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"pyke-mcp","url":"https://pypi.org/project/pyke-mcp/","firstSeenAt":"2026-09-10T10:24:35.750Z","fetchedAt":"2026-11-10T01:22:37.945Z","normalizedAt":"2026-11-10T01:22:37.945Z"}]},"firstSeenAt":"2026-09-10T10:24:35.750Z","updatedAt":"2026-11-10T01:24:54.679Z"}