MCPs › prolog-mcp

prolog-mcpsource available

MCP server wrapping SWI-Prolog for symbolic reasoning, enabling coding agents to assert facts and query rules deterministically.

listed on

Not monetized yet

Turn prolog-mcp’s tool calls into revenue: one disclosed sponsored slot, 70% revenue share, fail-open by design.

Install prolog-mcp

For anyone using prolog-mcp — no Lulu account needed

# stdio server — install per the repository README:
https://github.com/umuro/prolog-mcp

9 field-tested tactics as a designed playbook plus skills your coding agent can run. Free.

FAQ

How do I install prolog-mcp in Claude Code?

prolog-mcp installs from source — follow the repository README.

Which registries list prolog-mcp?

What is prolog-mcp's trust score?

Unrated out of 100, computed from cross-registry traction signals (installs, stars, registry presence) — never influenced by sponsorship.

—

trust & traction

Installs (all sources)—

GitHub stars—

License—

Transport—

Last synced6h ago

Links

Your server?

This is for the person who owns prolog-mcp — adds Lulu Ads to your own code. Not the install steps above, those are for your users.

Monetize it — your agent does the work

Copies a ready prompt: your coding agent installs the lulu-ads SDK, wires the slot, and applies the widget design guide.

Claim this listing

Get verified so you can edit the page. Your badge is already live below — no claim needed for that.

Host with Lulu

Managed hosting with monetization built in — waitlist.

Your README badge — links here, updates live. Copy it straight into your README:

[![Lulu MCPs](https://getlulu.dev/api/mcps/badge/prolog-mcp)](https://getlulu.dev/mcps/prolog-mcp)