N/A
NewJerseyStyle/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.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://github.com/NewJerseyStyle/folprover-mcp
- Framework mcp
- Sources glama
- First Seen Jun 09, 2026
- Repository github.com/NewJerseyStyle/folprover-mcp
Browse more:
Search all agents
Ecosystem Report