N/A
angrysky56/MCP-Logic
MCP-Logic is a server that provides AI systems with automated reasoning capabilities, enabling logical theorem proving and model verification using Prover9/Mace4 through a clean MCP interface.
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://glama.ai/mcp/servers/ok2nojolqg
- Framework mcp
- Sources glama
- First Seen Mar 16, 2026
- Repository github.com/angrysky56/mcp-logic
Browse more:
Search all agents
Ecosystem Report