1 listing · 0 installs
Open-source publisher. Listings imported from github.com/scidonia — credited to the original author with their license.
mcp-scidonia-rocq-piler · by scidonia
MCP server for Coq LSP
