leanscreen

Item: leanscreen
Rating: 71
Author: M8ven

A calibrated faithfulness screen for informal↔Lean 4 statement pairs, served over MCP. It provides deterministic checks and deep LLM-based analysis to help draft Lean statements.

→ ibrahimmian36/leanscreen · 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.

✅

Open source with a license and README

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

🔐

You'll be asked for 1 credential: ANTHROPIC_API_KEY

These are read from process.env at runtime. Make sure you trust where they’ll be sent.

// required environment variables

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

🔐 secretANTHROPIC_API_KEY— counterexample probe. It uses your own . Measured cost is

// 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/ibrahimmian36-leanscreen-79wywe)](https://m8ven.ai/mcp/ibrahimmian36-leanscreen-79wywe)

commit: e5217b82d945b385ca111b08b557d4e2d78570ca

code hash: f5c97ca3dbbbf1d02e9423dcce47315a2fb30c536ac0bd8ad44d949809130e6a

verified: 7/29/2026, 9:17:48 AM

view raw JSON →