In-development, proof-of-concept MCP servers for AdaCore tools.
The following servers are currently available:
gnatprove-server- MCP server for SPARK-related tasks.
Additional servers will be added over time. Consult the README in the server of interest for installation and usage details.