Lean4 Mcp
RIvance/lean4-mcpMIT⭐ 4🔧 10 tools
D3.8SpiderScore (registry)
Decision
Allow with Risk
Confidence
90%
Lean4 Mcp has risks — usable with isolation (3.81/10, 0 critical, 0 high).
Recommended Actions
- mediumReview Before ProductionModerate quality score — manual review recommended
How This Was Decided
- negativew=0.5Overall quality score = 3.81/10 (grade D)
- negativew=0.3Tool description clarity score = 2.3/10
Source: SpiderRating automated security scanUpdated: 2026-03-21Protocol: v1.1
Description Quality
Composite: 2.3 / 10
3-Layer Breakdown
Description (38%)
2.3
Security (34%)
7.8
Metadata (28%)
6.1
Description Dimensions
Intent Clarity
3.6
Permission Scope
0.0
Side Effects
2.0
Capability Disclosure
4.0
Operational Boundaries
2.7
Security Analysis
7.8
Score
0
Critical
0
High
0
Medium
0
Low
No security issues found.
Metadata Health
Provenance (40%)
7.0
Maintenance (35%)
8.0
Popularity (25%)
1.9
Badge
Add this badge to your README:
[](https://spiderrating.com/servers/RIvance/lean4-mcp)🛡️
Protect Your Agents
Get a free API key. Every MCP tool call checked against 15,923 rated servers in real-time.
Get Free API Key →📊
Monitor All Your Servers
Dashboard for your entire MCP portfolio. Score tracking, alerts, and compliance reports.
Start Free Trial →⭐
Scan Locally (Open Source)
Run SpiderShield on your own machine. 46+ security rules, zero data leaves your system.
Star on GitHub →