GitHub repository: BlueRavenAI/coq-tactician-api
Description: An API for interfacing with Coq through Tactician by external agents