{"art":"mcp_server","schluessel":"io.github.Evozim/coq-proof-assistant-mcp","slug":"io-github-evozim-coq-proof-assistant-mcp","name":"Execute coq-proof-assistant-mcp","status":"aktiv","homepage":null,"paket_koordinate":"name:io.github.Evozim/coq-proof-assistant-mcp","indexierbar":true,"anbietertext":{"text":"Premium agentic endpoint for coq-proof-assistant-mcp.","sprache":"en","uebersetzt":false,"geprueft":false,"quelle":"Anbieter"},"adresse":"/api/v1/eintrag/mcp_server/io-github-evozim-coq-proof-assistant-mcp"}