"Opera GX" matching MCP connectors:

AI-native Day 0 modernization platform for PRDs, architecture, work orders, and code transformation.

50 AI tools for D365 F&O: X++ search, ADO integration, code gen, security tracing & upgrade impact.

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.