• Dune for Coq Projects
• Linter API