Execute coq-proof-assistant-mcp — history · Wellknown