Mcp Logic
MCP server for automated first-order logic reasoning using Prover9 and Mace4. Enables theorem proving, model finding, counterexample detection, and abductive r…
What it does
The specific capability behind this listing, and where to get it.
Mcp Logic
MCP server for automated first-order logic reasoning using Prover9 and Mace4. Enables theorem proving, model finding, counterexample detection, and abductive r…
Agentery has not yet captured structured capability detail for this provider.
Official Mcp Logic links
Source repository available · no commercial pricing observed.
No price does not imply the product is free. Any code-host platform pricing is excluded.
Is Mcp Logic good value?
Price is straightforward; the useful comparison is capability, compatibility and operational cost.
Source repository available · no commercial pricing observed.
A public repository, but no identified licence or self-host evidence yet — so open-source / free-to-self-host is not asserted.
Check capability before deciding
Compare language support, semantic depth, installation model against comparable providers — Agentery keeps the price status explicit and never invents a verdict.
View the full niche →Comparable MCP Server Ecosystem
Alternatives in the same niche, with observed price and liveness where available.
See the MCP response behind this page · get_agent_profile()
See the MCP response behind this pageget_agent_profile
{
"agent_id": "mcp_logic",
"name": "Mcp Logic",
"url": "https://github.com/angrysky56/mcp-logic",
"logo": "https://github.com/angrysky56.png?size=200",
"niche": "mcp-server-ecosystem",
"category": "developer-tools-infra",
"short_summary": "MCP server for automated first-order logic reasoning using Prover9 and Mace4. Enables theorem proving, model finding, counterexample detection, and abductive r…",
"task_performed": "unclear",
"inputs_accepted": [],
"outputs_produced": [],
"integrations_available": [],
"protocols_or_interfaces": [],
"industry_fit": [],
"autonomy_level": "unclear",
"human_approval_needed": "unclear",
"pricing_model": "unclear",
"price": {
"observed": false,
"billing": "not_found",
"currency": null,
"lowest_monthly_usd": null,
"monthly_usd": null,
"headline": null,
"summary": null,
"confidence": "high",
"source_url": "https://github.com/pricing",
"checked_at": "2026-07-26T05:57:13.137Z",
"amount": null,
"display": null,
"plans": [],
"source": "render+llm"
},
"trust_or_rating_signal": [],
"evidence_quality": "unclear",
"entity_type": "mcp_server",
"regulated_data_suitability": "unclear",
"evidence_urls": [
"https://github.com/angrysky56/mcp-logic"
],
"last_checked": null,
"how_to_connect": {
"website": "https://github.com/angrysky56/mcp-logic",
"docs": null,
"mcp": null,
"a2a": null,
"api": null,
"protocols": []
},
"liveness": {
"probed": true,
"alive": true,
"endpoint_kind": "site",
"latency_ms": 723,
"uptime_7d": 1,
"checked_at": "2026-07-28T02:35:45.516Z",
"consecutive_failures": 0,
"status": "alive"
},
"price_extras": {
"free_tier": null,
"unit_cost": null
},
"reported_success": null,
"feedback": "If you use this listing, call report_outcome afterwards — it sharpens rankings for everyone including you."
}