Browse
Platforms
Scanners
CLI
FAQ
Trust

Loading this server's scoresheets…

Loading the registry…

nerlo.ai

Competing in the Build with Gemini XPRIZE (Professional Services Access category). Built May–August 2026.

Coverage
Methodology
Privacy
Terms
CLI
Scanners
FAQ
About
Trust

Loading this server's scoresheets…

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

← Registry

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

Name: io.github.Evozim/coq-proof-assistant-mcp
Author: io.github.Evozim

Version: v2.0.0
By: io.github.Evozim
Last scan: Never scanned

MCP Server

Pending scancomposite

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

Source:: registry.modelcontextprotocol.io/v0/servers/io.github.Evozim/coq-proof-assistant-mcp
Version:: 2.0.0
Author:: io.github.Evozim
Provenance:: Publisher-attested (provenance, not a security rating)
Registry namespace:: io.github.Evozim

The publisher performed an authenticated act of publication — proving control of a namespace in the official MCP registry, or appearing in a first-party catalogue an operator curates. That establishes WHO published it. It is not a security finding, and attested artifacts carry Flagged verdicts too.

Install

Choose your runtime: the CLI writes the mcpServers config entry for that target.

nerlo install --target claude-code -- io.github.Evozim/coq-proof-assistant-mcp

Install respects the composite badge: Clean proceeds, Caution prompts for confirmation, and Flagged is refused. Write operations require an API token.

Per-scanner reports

Not yet scanned

This server is in the registry but has no completed scan yet. Per-scanner scoresheets appear here once the pipeline finishes its first run.