"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP connectors:
GET /v1/connectors — MCP directory API referenceMatching Connector Tools:
Simulate, test, and analyze cloud architectures without deploying real infrastructure. Cloud World Model enables AI agents to model cloud environments, evaluate architecture behavior and costs, run failure and chaos simulations, and explore infrastructure scenarios across cloud providers.
Architecture docs and patterns for NestJS + Nuxt full-stack apps
40+ production-ready SwiftUI recipes for building full-stack iOS apps via MCP.
Create diagrams in chat, rendered as live interactive draw.io diagrams. 10,000+ searchable shapes.
OSS libs in your stack, really used: source, tests, callers. C#, Java, TS, Python, Rust, PHP+.
Generate cloud architecture diagrams, flowcharts, and sequence diagrams.
Read-only, source-backed compatibility lookups and approved changes for ResolveMesh's catalog.
MCP gateway with 10 tools for code analysis, architecture, package audit & security.
Geometry and CAD file metadata extraction for STL, OBJ, PLY, PCD, LAS/LAZ, glTF/GLB.
Provides UX capabilities to enhance the design output and understanding of AI systems.
Create and edit architecture diagrams from your AI agent; get an SVG and a live editable canvas.
A comprehensive Model Context Protocol (MCP) server that enables AI assistants to control Unreal E…
MCP server for AI Diagram Maker — generate software engineering diagrams from natural language, code, ASCII diagram, images, or Mermaid. Inline diagram rendering using MCP apps UI and diagram URL in responses. Works with Cursor, Claude Desktop, Claude Code, and any MCP-compatible AI.
Parse Excalidraw diagrams and documents into clean Markdown or structured JSON via x402 pay-per-call API. Agents pay per call with HTTP 402 micropayments — no signup, no API key. Free tier: 5 parses/day. Premium: $0.05/call unlimited with LLM decomposition.
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
Create and edit flowcharts, mind maps, wireframes, and docs in Whimsical, or search your workspace.
Write product documentation to share with your whole team, including testable specifications.
Evidence-backed architecture-quality analysis for Python agent applications.
AI-native Day 0 modernization platform for PRDs, architecture, work orders, and code transformation.
Lucid’s connector creates diagrams, searches, edits, shares, and retrieves docs to summarize.
