Prover MCP

Tích hợp với Mạng Prover Succinct để giám sát, hiệu chỉnh và tối ưu hóa các hoạt động của prover.