Home
Skills
MCPs
Install
rikarazome
GitHub
1 server
prolog-reasoner
rikarazome
11
SWI-Prolog as a logic calculator for LLMs — MCP server and Python library
← All servers
Search skills and MCP servers
Fuzzy search across 23,137 skills and servers
