angrysky56-logic
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
- Score
- 85.5172 signals
- Evidence
- 46 stars · 10 forks
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- stefans71-wordpress80 stars · 21 forks90.532
- martinbowling-thoughtful-claude55 stars · 9 forks86.267
- tyler-blaine-hall-rocq10 stars · 4 forks68.220
What it is
MCP server Logic (Prover9/Mace4), catalogued on PulseMCP. Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
When to use it
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Notes
Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.