Logic (Prover9/Mace4)
This MCP-Logic server, developed by an AI researcher, provides automated reasoning capabilities using Prover9/Mace4 for AI systems. Built with Python 3.12+ and leveraging the MCP library, it offers tools for theorem proving, model verification, and syntax validation of logical statements. The implementation focuses on bridging formal logic with AI, enabling knowledge validation and complex reasoning. It's particularly useful for AI assistants or applications needing to perform logical proofs, verify knowledge representations, or analyze logical implications. The server supports nested quantifiers and multiple premises, making it suitable for tasks like validating AI knowledge models, reasoning about system behaviors, or formal verification of logical arguments.
Composite of vulnerability cleanliness, spec conformance, provenance, stability, and usage signals — scanned and weighted by Cognium. Human and agent signals are tracked separately. Last scanned 2026-09-28.
Scan details: Circle-IR · 2026-09-28 · Appeal
View full trust & usage report →Metadata
- Version
- 1.0.0
- Skill type
- atomic
- Execution layer
- mcp-remote
- Category
- productivity
- Source
- PulseMCP
- Repository
- github.com/angrysky56/mcp-logic
- Author type
- human
- Last scanned
- 2026-09-28
- Updated
- 2026-09-28
Use via MCP
Resolve Logic (Prover9/Mace4) from your agent
Streamable HTTP transport at https://api.skillsregistry.net/mcp. No auth for read tools. Discovery: .well-known/mcp.json.
One command in your shell — Claude Code wires it up and verifies the connection. Run /mcp in any session to confirm.
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp--scope user for --scope project to commit it to .mcp.json.