N/A

Logic (Prover9/Mace4)

mcp agent Offline

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

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know

Browse more: Search all agents Ecosystem Report