Armory
Source
Browse
MCPs

park-sunho-coqtail

MCP server for interactive Rocq/Coq proof sessions with tools to step through proofs, inspect goals, and execute queries.

Score
65.0432 signals
Evidence
10 stars · 2 forks
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. fatwang2-search1api-mcp173 stars · 38 forks94.099
  2. f4ww4z-mcp-mysql-server168 stars · 37 forks93.985
  3. lucashild-bigquery130 stars · 39 forks93.243

What it is

MCP server Coqtail, catalogued on PulseMCP. MCP server for interactive Rocq/Coq proof sessions with tools to step through proofs, inspect goals, and execute queries.

When to use it

MCP server for interactive Rocq/Coq proof sessions with tools to step through proofs, inspect goals, and execute queries.

Notes

Listed from the PulseMCP registry. The registry does not state a license. Check it before production use.