aaaa-nexus — Formally Verified AI Safety APIs · MCP-серверы · Claude Маркетплейс