MCP Server URL

https://gitmcp.io/Certora/Examples

Connect your AI assistant

To add this MCP to Cursor, update your ~/.cursor/mcp.json:

{
  "mcpServers": {
    "Examples Docs": {
      "url": "https://gitmcp.io/Certora/Examples"
    }
  }
}