trackmcp
Back to directory
rikarazome

prolog-reasoner

View on GitHub

SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

11 stars PythonOthers Updated Aug 4, 2026
anthropicclaudellmlogic-programmingmcpmcp-serverprologpythonreasoningswi-prolog

No README could be loaded. View the project on GitHub for full documentation.

Frequently asked questions

What is prolog-reasoner?

prolog-reasoner is SWI-Prolog as a logic calculator for LLMs — MCP server and Python library

How do I install prolog-reasoner?

Open the GitHub repository and follow its README. Most MCP servers are added to your client's MCP config, then called by your agent.

Is prolog-reasoner open source?

Yes — it is hosted on GitHub at https://github.com/rikarazome/prolog-reasoner and has 11 stars.

Related MCP tools

OpenOSINTOpenOSINT

AI-powered OSINT agent with interactive REPL, MCP server, and CLI. 19 tools. Works with Claude, GPT-4, or local models. For authorized security research only.

1,523 Python
ai-agentanthropicclaude+16
riponcmprojectmem

Open-source coding agent memory. Records issues, attempts, fixes and decisions, then warns your agent before it repeats an approach that already failed. Native MCP server for Claude Code, Cursor, Antigravity and Codex. 100% local, no cloud, no telemetry. MIT.

796 Python
ai-agentsai-memoryai-tools+17
taylorwilsdongoogle_workspace_mcp

Control Gmail, Google Calendar, Docs, Sheets, Slides, Chat, Forms, Tasks, Search & Drive with AI - Comprehensive Google Workspace MCP Server & CLI Tool

3,117 Python
aigmailgoogle-calendar+17
jgravellejcodemunch-mcp

Cut AI token costs 95%+ on code exploration. The leading MCP server for precise, symbol-level GitHub code retrieval via tree-sitter AST. Works with Claude Code, Cursor & any MCP client. 313B+ tokens saved.

2,651 Python
claudeclaude-codeai-coding+17
mbaileyvoicemode

Natural voice conversations with Claude Code

1,348 Python
asrclaudecodekokoro+9
IvanMurzakUnity-MCP

AI Skills, MCP Tools, and CLI for Unity Engine. Full AI develop and test loop. Use cli for quick setup. Efficient token usage, advanced tools. Any C# method may be turned into a tool by a single line. Works with Claude Code, Gemini, Copilot, Cursor and any other absolutely for free.

4,137 C#
aiai-integrationgame-development+16

Run your own MCP server? See who uses it and what to fix.

Measure it with TrackMCP