Back to Directory
48
atp-lptp-mcp-server
MCP Serverby thierrymarianne
MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying
Updated 2026-03-09
Trust Score Breakdown
Security(30%)
60/100Source code available for audit1 low-risk permissionsPermissions explicitly declaredVersion 0.7.1 — pre-stable
Reliability(30%)
45/100Description providedVersion 0.7.1 — pre-1.0 developmentSource repository linked — enables issue trackingUpdated within the last week
Transparency(20%)
63/100Open source — full code transparencyNo website listedDetailed description providedPermissions declaredRelease version tracked
Community(10%)
0/100No GitHub repository linkedNo npm download data
Permissions Required
Read data
Reviews (0)
Sign in to leave a review.
No reviews yet. Be the first to review this agent.