What is iflow-mcp_ooo0ooo-lean-lsp-mcp?
iflow-mcp_ooo0ooo-lean-lsp-mcp is a infrastructure that Lean Theorem Prover MCP. It has a Nerq Trust Score of 58/100 (D). 0 GitHub stars. Published by unknown. Last analyzed October 2026.
Why This Score
- ⚠️ Security: 0/100 — Some security concerns
- ⚠️ Maintenance: 0/100 — Maintenance activity is low
- ⚠️ Community: 0 stars, 0 downloads — Growing community
- ⚠️ Transparency: License: Not specified — No license specified
Trust & Safety Overview
What iflow-mcp_ooo0ooo-lean-lsp-mcp Does
iflow-mcp_ooo0ooo-lean-lsp-mcp is a mcp_server in the infrastructure category. Lean Theorem Prover MCP. It is published by unknown and has no specified license. With 0 GitHub stars and 0 downloads, it has a small community of users and contributors.
Who Should Use iflow-mcp_ooo0ooo-lean-lsp-mcp
iflow-mcp_ooo0ooo-lean-lsp-mcp is suitable for evaluation and non-critical use. Review the trust score breakdown before using in production.
Details
| Author | unknown |
|---|---|
| Category | infrastructure |
| License | Not specified |
| Type | mcp_server |
| Source | View on GitHub |
| Security Score | 0/100 |
| Activity Score | 0/100 |
How to Get Started
Check the trust score before installing:
curl nerq.ai/v1/preflight?target=iflow-mcp-ooo0ooo-lean-lsp-mcp
Setup guide · Full safety report · Production review · Is it safe?
Safer Alternatives
| Tool | Trust | Stars |
|---|---|---|
| n8n | 69 | 177.3K |
| langflow | 77 | 145.4K |
| dify | 70 | 130.8K |
| open-webui | 60 | 124.5K |
| gemini-cli | 56 | 99.5K |
Frequently Asked Questions
Last updated October 2026. Trust scores based on automated analysis of public data.