Execute coq-proof-assistant-mcp

io.github.Evozim/coq-proof-assistant-mcp

55

security score

Premium agentic endpoint for coq-proof-assistant-mcp.

GitHub stars

—

Last commit

never

Transport

sse

Security scan

Last scanned 24 minutes ago — static analysis of the published manifest.

highManifest can execute shell commands.
lowManifest makes network requests.
mediumNo source repository linked — code cannot be audited.