Open-source Tools LLM Projects MCP Servers Methodology

AI Tools Scout

An open-source AI tools directory with clear use cases, visible source freshness, and maintenance evidence for anyone deciding what to try.

Explore

Open source AI projects Open source LLM projects MCP servers list

More

Skills Content About

Rankings use public ecosystem signals. Treat them as a starting point, then confirm license, setup, safety, and fit with the upstream project.

Logic (Prover9/Mace4) — MCP Server | AI Tools Scout

Home
MCP Servers
Logic (Prover9/Mace4)

Logic (Prover9/Mace4)

Analytics

by angrysky56

Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.

GitHub &nearr;PulseMCP

43

Stars

0

Installs

0

Tools

N/A

Security

Server Info

Category: Analytics
Deployment: N/A
npm Package: N/A
PyPI Package: N/A
npm Downloads/Week: N/A
Source: PulseMCP
Published: N/A
Last Updated: 5/12/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.