coq MCP servers

1 tagged coq, measured the same way as everything else here.

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

solarium

01

SNAPKITTYWEST/snapkitty-clojure-lisp-bridge

MCP server Claude CodeCodexCursor +2

TBD. Runs locally from the solarium npm package.

not rated 2 17d ago A tokens not measured