atp-lptp-mcp-server
MCP server for LPTP (Logic Program Theorem Prover) — proof verification, tactic application, and definition querying
⚙ Agent Friendliness
N/A
Not evaluated
Can an agent use this?
🔒 Security
N/A
Not evaluated
Is it safe for agents?
⚡ Reliability
N/A
Not evaluated
Does it work consistently?
Scores are editorial opinions as of unknown date.