"author:disys-lab" matching MCP servers:

Enables authenticated natural-language interaction with the CoSMeTIC zero-knowledge proof service by exposing tools to request proofs, check status, download proofs, and verify results, while managing job and session state.