dali2-logic-reasoner

Item: dali2-logic-reasoner
Rating: 71
Author: M8ven

MCP server that exposes the DALI2-Agent-Brain symbolic verification system as tools, allowing MCP clients to submit reasoning problems for formal Prolog-based verification.

→ lollix91/DALI2-Agent-Brain-MCP · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

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.

// required environment variables

This server reads these from process.env. You'll be asked to provide them before it can run.

configDALI2_URL— "": "http://localhost:8090"

// 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 4 concrete improvements 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/lollix91-dali2-agent-brain-mcp-x4av5q)](https://m8ven.ai/mcp/lollix91-dali2-agent-brain-mcp-x4av5q)

commit: 253591269c08f3eef054c086f501ce20479f0ccc

code hash: 5506aae4d29eca6e2c662e78f412db94fdde0e8f51ad5ed30f5fd251ff4014ad

verified: 7/22/2026, 8:40:24 AM

view raw JSON →