MMCP Server Logical SolverA project that integrates mcp servers for Prover9/Mace4 for a logical reasoning agent

mcp-so:mcp-server-logical-solver_RyanNg1403

A

100/100

First Seen

Feb 18, 2026

Last Scanned

Feb 20, 2026

Findings

0

Score

100/100

No Security Issues Found

Aguara's static analysis detected no security findings in this skill. It scored a perfect 100/100.