$ timeahead.in
/servers/blog/about
/ servers/github/FOL Prover MCP Server
github

FOL Prover MCP Server

An MCP server for first-order logic theorem proving supporting multiple provers like Vampire, E, and Prover9, with built-in simple prover, session management, and TPTP export.

github ↗
☆ Watch this server⚡ Compare⚑ Claim listing
50poor
▣ Score BreakdownMCPScore = Σ(raw × weight)
DimensionRawWeighted
Security
35%
100
35.0
Freshness
25%
30
7.5
Adoption
20%
0
0.0
Quality
10%
20
2.0
Trust
10%
50
5.0
Total
49.5
⚿ Capabilities & Risk Explainer
execsecrets
◆ Risk level: medium
exec + secrets active — can execute code, access credentials, and make external network calls.
⚙ Install config
Source-only — no published npm / pypi package detected.
Clone and follow the build instructions in the repo: github.com/NewJerseyStyle/folprover-mcp
📈 Score historylast 3 snapshots
6/11/20266/13/2026 · 3 snapshots
⚙ Maintenance health
22/ 100 · is this project alive?
contributors (1y)1
top contributor share100%
releases (1y)1
last release137d ago
ci✗ none
⛁ Raw data
weekly downloads0
github stars0
forks0
open issues0
license✗ missing
readme length0 chars
last updated4d ago
owner of this server? claim your listing to get a verified badgeclaim →
🔔 Score drop alerts
get notified by email when this server's score drops 5+ points
FOL Prover MCP Server — MCP Score: 50/100 | MCPScore | Timeahead