MCPs › MCP-Logic

MCP-Logicsource available · licensed

MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.

Not monetized yet

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

Add monetization →

Install MCP-Logic

For anyone using MCP-Logic — no Lulu account needed

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

The MCP Growth Kit — grow the server you just found

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

Get the Kit →

FAQ

How do I install MCP-Logic in Claude Code?

MCP-Logic installs from source — follow the repository README.

Which registries list MCP-Logic?

Submitted directly to Lulu MCPs.

What is MCP-Logic's trust score?

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

trust & traction

Installs (all sources)—

GitHub stars—

LicenseMIT License

Transport—

Last synced18d ago

Links

github.com/angrysky56/mcp-logic

Your server?

This is for the person who owns MCP-Logic — 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.

or set up manually at getlulu.dev/publishers

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/mcp-logic-554aa0)](https://getlulu.dev/mcps/mcp-logic-554aa0)