AgentIndex icon
AgentIndex
mcp-logic logo
mcp-logic
★ 47
vs
blockrun-mcp logo
blockrun-mcp
★ 392

mcp-logic vs blockrun-mcp

mcp-logic: MCP-Logic is an MCP server for automated first-order logic reasoning using Prover9 and Mace4. It provides theorem proving, model finding, counterexample generation, syntax validation, categorical reasoning, propositional contingency checking, and abductive reasoning. All dependencies are automatically installed.; blockrun-mcp: BlockRun MCP is a Model Context Protocol server that provides AI agents with access to 41 LLM models, real-time web search, prediction markets, crypto DEX data, whale tracking, image generation, and token swaps — all paid via x402 micropayments in USDC on Base. No API keys, no subscriptions, no accounts.

01

TL;DR

mcp-logic logo
mcp-logicDev Tooling · ★ 47

Prove logical theorems, e.g., 'all x (man(x) -> mortal(x)), man(socrates) ⊢ mortal(socrates)'

Read mcp-logic full review →
blockrun-mcp logo
blockrun-mcpDev Tooling · ★ 392

Build autonomous agents that pay per call

Read blockrun-mcp full review →
02

Side-by-Side Comparison

Field
mcp-logic logomcp-logic
blockrun-mcp logoblockrun-mcp
Category
Dev Tooling
Dev Tooling
Stars
★ 47
★ 392
License
MIT
MIT
Install Command
git clone https://github.com/angrysky56/mcp-logic && cd mcp-logic && ./linux-setup-script.sh
claude mcp add blockrun npx @blockrun/mcp
Updated
2mo ago
3d ago
Open Source
Yes
Yes
Website
↗ Visit
↗ Visit
GitHub
↗ GitHub
↗ GitHub
Tags
ai, claude-3-5-sonnet, llm
ai, claude-code, llm
03

Features

mcp-logic logomcp-logic
01Theorem Proving with Prover9
02Model Finding with Mace4
03Counterexample Finding
04Syntax Validation with helpful error messages
05Abductive Reasoning using Variational Free Energy
blockrun-mcp logoblockrun-mcp
01Multi-agent budget orchestration
0241 LLM models with smart routing
03Real-time web & crypto data
04Micropayment-based access
05No API keys or subscriptions required
04

Use Cases

mcp-logic logomcp-logic
↳Prove logical theorems, e.g., 'all x (man(x) -> mortal(x)), man(socrates) ⊢ mortal(socrates)'
↳Analyze propositional contingency, e.g., '(p -> q) | (q -> p)' is a tautology
↳Find counterexamples, e.g., from premises 'P(a)' and conclusion 'P(b)', show it does not follow
blockrun-mcp logoblockrun-mcp
↳Build autonomous agents that pay per call
↳Multi-agent systems with budget delegation
↳Access premium AI models without subscriptions
FAQ

FAQ

What is the difference between mcp-logic and blockrun-mcp?
Both mcp-logic and blockrun-mcp are in the Dev Tooling category. mcp-logic has 47 stars, while blockrun-mcp has 392 stars.
Which is better, mcp-logic or blockrun-mcp?
The best choice depends on your use case. Choose mcp-logic if Prove logical theorems, e.g., 'all x (man(x) -> mortal(x)), man(socrates) ⊢ mortal(socrates)', and blockrun-mcp if Build autonomous agents that pay per call.
Is mcp-logic free or open source?
Yes, mcp-logic is open source on GitHub (MIT).
Is blockrun-mcp free or open source?
Yes, blockrun-mcp is open source on GitHub (MIT).
Cloud Infrastructure
Ad

Deploy on DigitalOcean

Host your MCP servers, Docker containers, and AI agents with $200 free credit over 60 days.

Claim $200 Free Credit
→

Related

Alternatives to mcp-logic →Alternatives to blockrun-mcp →mcp-logic details →blockrun-mcp details →