automenta-logic
First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.
- Score
- 43.2751 signal
- Evidence
- 4 stars
- 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
- szeider-minizinc-solver181 stars · 23 forks93.481
- angrysky56-logic46 stars · 10 forks85.517
- 2niuhe-plantuml-web15 stars · 4 forks72.722
What it is
MCP server Logic, catalogued on PulseMCP. First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.
When to use it
First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.
Notes
Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.