MarketNow Registry / Monitoring / mcp-logic

mcp-logic

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc

Monitoring v0.0.0 by angrysky56

Trust score

88/100

Install risk

Review advised

GitHub stars

Source

github

Indexed

2026-09-10

Install

$ git clone https://github.com/angrysky56/mcp-logic

Heuristic signals advise review before installing: young package, low adoption, stale repository, or name similarity to a popular package.

Adoption evidence: 46 GitHub stars.

How MarketNow scored this

Sentinel Index Heuristics — a security-first estimate from public signals:

Package age and release activity (stale repositories lose points)
Verified adoption: registry downloads or GitHub stars, not follower counts
Typosquat distance against the 150 most-installed MCP packages
Injection markers scanned in the package description

Heuristic, not a guarantee. For verified agent credentials and revocation, see the MarketNow Trust API.

What is mcp-logic?

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc Indexed by MarketNow with trust 88/100 (Review advised).

How do I install it?

Run $ git clone https://github.com/angrysky56/mcp-logic Heuristic signals advise review before installing: young package, low adoption, stale repository, or name similarity to a popular package.

What does the trust score mean?

Security-first heuristic over public signals (age, adoption, typosquat distance, injection markers). It is not a popularity ranking and not a guarantee of safety. mcp-logic scores 88/100.