"Programming Language Rust or Metal Oxidation" matching MCP servers:

MCP server for the SION_TALLER_RUST workspace, enabling managed GitHub-to-Cargo workflows with governance, safety noops, and explicit approvals.

Deterministic dependency + CVE context for AI coding tools, over the Model Context Protocol. A ~0.85 MB pure-Rust MCP server.

Checks whether software dependencies (npm packages, GitHub Actions, MCP servers, Docker images) are alive, dormant, abandoned, archived, or deleted using dated observations from lastseen.dev.

This MCP server lets you use Cursor IDE, or any MCP Client enabled agent, to use natural language to accomplish things with CircleCI, e.g: Find the latest failed pipeline on my branch and get logs

Enables management of Railway.app infrastructure through natural language, including deploying services from GitHub repos or Docker images, managing environment variables, monitoring deployments, and configuring networking and volumes.

Enables natural language interactions with CircleCI through Model Context Protocol, allowing users to retrieve build logs, find flaky tests, check pipeline statuses, and manage workflows without leaving their IDE.

Enforces disciplined programming practices by requiring AI assistants to audit their work and produce verified outputs at each phase of development, following structured workflows for refactoring, feature development, and testing.

A local MCP server that exposes Blacksmith.sh's usage and cost data, enabling queries for CI spend through agents, alerts, or dashboards.

Enables managing GitHub Actions workflows through MCP, including listing and inspecting workflows, triggering workflow_dispatch and repository_dispatch events, and monitoring or canceling workflow runs.

A multi-Jenkins server management and automation tool that enables intelligent scenario mapping, multi-server management, and complete CI/CD lifecycle operations through natural language interactions.

Connects AI assistants to GitHub Actions workflows to monitor CI/CD pipelines, view run logs, diagnose failures, and optionally trigger or manage workflows with granular permission controls.

Enables interaction with multiple Azure DevOps organizations simultaneously, providing access to pipelines, builds, repositories, and pull requests across different organizations without switching contexts or restarting the server.

A comprehensive integration providing over 46 tools for managing GitLab projects, issues, merge requests, and CI/CD workflows through natural language. It supports repository operations like local cloning and batch actions across groups via stdio, SSE, or HTTP transports.

AI-native control plane for Kubernetes and GitOps. Provides 30+ tools for service deployment, database provisioning, and log management via natural language.

Enables management of App Store Connect resources including app reviews, TestFlight crashes, analytics reports, and Xcode Cloud workflows through natural language or AI agents.

Provides Azure DevOps tooling for AI agents, enabling interaction with projects, work items, repositories, and pipelines through natural language.

A server interface for Bitrise CI/CD platform that enables app management, build operations, artifact management, and release management through natural language interactions.

Enables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theorems resting on sorry or compiler trust, and analyze the impact of changes.

MCP server for enforcing coding rules in Rust projects via scanning, routing, and explanation tools, designed for use with Codex, CI pipelines, and precommit hooks.

Enables AI assistants to interact with the Cycloid platform for infrastructure management, including blueprint discovery, stack creation, pipeline listing, and event monitoring via natural language.