"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP connectors:
Matching Connector Tools:
Build, validate, deploy — HTTP APIs, cron jobs, webhooks and MCP tools — from your AI client. Air Pipe MCP token as a bearer credential, e.g. 'Authorization: Bearer <token>'. Create one at https://app.airpipe.io/
Deploy a live web app from one sentence. build_app + poll to a public HTTPS URL you own.
Build, validate, deploy — HTTP APIs, cron jobs, webhooks and MCP tools — from your AI client.
Deploy a GitHub repo to a live HTTPS URL from your AI tool; read logs, set variables, resize apps.
AI-native git hosting — repos, PRs, issues, CI gates, and AI code review over MCP (60 tools).
Manage CI/CD pipelines, debug failed builds, and optimize test suites directly from your AI tools and agents - no terminal required. The CircleCI MCP Server is a remote server hosted by CircleCI that connects AI tools and agents directly to your CI/CD pipelines, giving you a conversational interface to the same pipeline, workflow, job, and artifact data you'd normally reach through the CircleCI CLI or dashboard.
Claude Code / MCP skills for the dev pipeline: discover, spec, design, build, ship, operate.
Free selector plus read-only GitHub bounty, agent harness, Actions, flake, and MCP drift decisions.
Read-only GitHub bounty, agent harness, Actions failure, flake, and MCP tool-drift decisions.
The MCP server for Azure DevOps, bringing the power of Azure DevOps directly to your agents.
Monitoring that agents set up for themselves — cron jobs, CI/CD pipelines and AI agent runs.
Go MCP server for GitLab: 2 dynamic tools reach 1000+ REST/GraphQL actions. Free/CE, no paid tier.
Connect AI assistants to GitHub - manage repos, issues, PRs, and workflows through natural language.
Identify a configuration label for a release brief
BuildPulse CI test analytics for AI agents — flaky tests, coverage, and CI run history.
Security reviews for coding agents: diffs checked against your org policy and live infrastructure.
Real-time B2A and M2M deprecation feeds for AI agents and dev pipelines.
One place to build, share, and govern the skills and tools your AI agents use at work.