N/A

arclabs561/proofpatch

mcp agent Offline

CLI and MCP server for debuggable Lean 4 proof workflows

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