angrysky56/mcp-logic

Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.

→ angrysky56/mcp-logic · listed on pulsemcp

Install from

PulseMCP mcp.so

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

✅

Open source with a license and README

Anyone can audit the code, the license is declared, and the publisher documents what it does.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 1 concrete improvement we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/angrysky56-mcp-logic-1sfefq)](https://m8ven.ai/mcp/angrysky56-mcp-logic-1sfefq)

commit: 27a642834192fe56d3720ef82839309eb61ef574

code hash: 2e268d3d63f5923c5577ad44ebcf989a84820cd8e53415b4a1821401c30fcd10

verified: 4/11/2026, 1:56:20 PM

view raw JSON →