dev.workers.jeffmarcilliat.proofrun-closed/proofrun
dev.workers.jeffmarcilliat.proofrun-closed/proofrun
by dev.workers.jeffmarcilliat.proofrun-closed· v0.1.0Source: Official MCP RegistryDeleted from the registry
Not scanned yet
Squatch has not completed a scan of this server yet, so its tools are unknown. Watch it to be notified when the first scan finishes.