MCP (Minimal Complete Proof) for Effect Library?

is there any mcp for effect?
Was this page helpful?