New MCP Servers

Bullhorn

Manage recruitment workflows and ATS data via Bullhorn — retrieve, create, update, and delete entities, notes, and associations directly from any AI agent.

Brunel Engineering Prover

A warehouse system hit 3x its tested throughput on a Tuesday morning. Sorting stations jammed in 12 minutes. 4 hours of standstill. $180K in delayed shipments. The operations manual said 'should handle expected growth.' Nobody tested what 'expected' meant — or when it stopped being true. Brunel specified Box Tunnel's gradient to exactly 1 in 100. Every brick course counted. This tool forces that rigor: analyze what breaks at 10x/100x, map integration interfaces, specify exact tolerances, quantify risks with probability and blast radius, and challenge precedent at your scale.

Bezos Flywheel Prover

A startup benchmarked against 5 competitors instead of talking to a single customer. It proposed standalone initiatives instead of a flywheel. It built an end-user product instead of infrastructure. It formed a committee instead of a two-pizza team. It optimized for this quarter instead of a 7-year thesis. That is not strategy — that is a project list. This tool forces five Bezos-level axes: customer obsession, flywheel design, infrastructure-first, Day 1 culture, and long-term compounding.

Blackbaud

Manage constituents, gifts, and academic data via Blackbaud — handle fundraising and education management directly from your AI agent.

Awattar

Access real-time electricity prices from aWATTar — retrieve EPEX Spot market data and optimized YAML stats for home automation directly from your AI agent.

Avionte

Manage staffing and recruiting workflows via Avionte — query talent profiles, work history, company details, and department data directly from your AI agent.

Aventri

Manage events, contacts, and speakers via Aventri — list events, search contacts, and clone event modules directly from your AI agent.

Assertible

Automate API testing and monitoring via Assertible — trigger deployments, run service tests, and sync specifications directly from any AI agent.

Aserto

Manage authorization policies and evaluate access control decisions via Aserto — run Rego queries, check user permissions, and audit decision logs.

Arweave

Interact with the Arweave permaweb — query network info, check wallet balances, inspect transactions, and calculate storage costs directly from your AI agent.

Aristotle Logic Prover

Your AI used a term without defining it. 'Platform,' 'scalable,' 'efficient' — what do these MEAN in your context? Aristotle defined every concept with genus + differentia: 'Man is a RATIONAL ANIMAL.' Category: animal. Distinguishing property: rational. This tool forces precise definition, essential vs. accidental categorization, valid syllogistic proof, teleological purpose analysis, and dialectical counterargument examination.

Archimedes First Principles Prover

An AI recommended restructuring 'because the industry leader does it that way.' That is analogy — not axiom. The foundational claim was never stated: at what volume does the current structure fail? The problem was never decomposed. The conclusion was asserted with 'obviously' — never derived. The boundaries were never tested: when does this approach cost more than the value it creates? Archimedes derived pi from polygon geometry — not from Egyptian estimates. This tool forces axiom examination, decomposition, proof derivation, boundary testing, and leverage point identification.

Archbee

Manage documentation spaces, sync OpenAPI specs, and organize technical knowledge directly from your AI agent.

AppVeyor

Manage CI/CD pipelines, users, roles, and collaborators on AppVeyor directly from your AI agent.

AI Ethics Prover

An AI said 'AI should be fair and transparent' without naming a single affected group. It said 'we checked for bias' without naming a metric, attribute, or measured disparity. It said 'contact support' as the recourse mechanism. That is not ethics — that is ethics washing. This tool forces five operational axes: stakeholder identification, harm quantification, bias auditing, transparency demonstration, and recourse mechanisms.

Aiven

Manage Aiven cloud infrastructure — provision databases, manage projects, and monitor services directly from your AI agent.

AeroDataBox

Access real-time flight status, airport flight information displays (FIDS), historical flight data, and airport delay statistics directly from your AI agent.

Ada Lovelace Algorithmic Prover

Your AI said 'process the data' and called it an algorithm. That is not an algorithm — that is a wish. No step sequence, no edge cases, no scope limits. Ada Lovelace wrote the first published algorithm — Note G, 1843 — specifying every operation: V4 = V4 × V5, V6 = V6 − V4. This tool forces step sequencing, abstraction extraction, edge case analysis, operation decomposition, and honest scope bounding.

Aconex

Manage construction and engineering projects via Aconex — list projects, search directories, copy projects, and invite users directly from any AI agent.

Accident Investigation Prover

An investigation report concluded 'pilot error' and recommended 'improve training.' The same airline had three more accidents in 18 months. Accident Investigation Prover forces ICAO Annex 13 methodology — FDR/CVR evidence chains, multi-causal analysis via Reason's Model, HFACS 4-level taxonomy, organizational factor tracing, and specific, measurable, addressed recommendations that prevent recurrence.

Reamaze

Automate customer support and helpdesk workflows via Reamaze — manage help articles, channels, and contacts directly from any AI agent.

Qualtrics

Automate survey management and data collection via Qualtrics — list surveys, manage distributions, and export responses directly from any AI agent.

Qgiv

Manage Qgiv donation forms, custom fields, suggested amounts, and account settings directly from any AI agent.

Qencode

Automate video transcoding and live streaming via Qencode — manage tasks, start encodings, and orchestrate live streams directly from any AI agent.

Polar.sh

Monetize your open-source projects. Manage products, orders, subscriptions, and invoices directly through your AI agent.

Plone

Manage Plone CMS content, users, and workflows directly from your AI agent—search, create, and update resources effortlessly.

Phorest

Manage salon and spa operations—clients, appointments, and staff schedules—directly through your AI agent.

Permify

Manage fine-grained authorization and access control via Permify — write schemas, manage relation tuples, and perform real-time permission checks.

PDFShift

Convert URLs or HTML to PDF and images — manage templates, track credits, and automate document generation via high-performance API.

Pdfcrowd

Convert HTML, web pages, and documents to PDF or images. Generate invoices and extract text from PDFs directly via AI.

OpenNode

Process Bitcoin and Lightning Network payments, manage charges, and initiate secure withdrawals directly from your AI agent.