Model Context Protocol (MCP) Server Directory

On August 17-18, 2026, Alipay unveiled China's first full-stack agentic commerce platform in Hangzhou, letting merchants with no AI convert pages and workflows into agent-ready Skills and MCP tools. It connects to Ah Bao, the consumer agent with 10,000+ services across eight categories, and ships a full protocol suite (AHA plus ACT 2.0) for audited, intent-verified agent transactions. We break down the stack, the protocol comparison, the merchant ROI math, and a sample skill manifest.

On August 13, 2026 OpenAI previewed Ultrafast, a service tier running GPT-5.6 Sol up to 14x faster on Cerebras wafer-scale engines at 750 tokens per second. This dispatch builds fastres, a LangGraph incident-response workflow with a latency-critical fast path, a hot diagnostics cache, a premium-budget guard, and degraded fallback to standard inference. It routes S1/S2 events to the fast tier, verifies root-cause hypotheses, drafts a runbook, gates on human approval, and closes with a post-incident review.

Anthropic reported its unreleased frontier model made significant progress on the Riemann Hypothesis by testing 650 ideas across 60 subagents with 31 million tokens, formalizing the confirmed findings in Lean. This dispatch builds leanverify, a LangGraph formal-verification workflow that decomposes a conjecture, fans out parallel research subagents, gates every promising lemma on a Lean compile, dedupes failed ideas in a shared registry, and publishes a verified-claims ledger.

On August 11, 2026, OpenAI made Daybreak cyber capabilities available through Amazon Bedrock. Daybreak Blue wraps GPT-5.6 Sol and other frontier models with safeguards for authorized defensive work; Daybreak Red provides purpose-trained models for vulnerability research, exploit validation, and security testing. We map Blue vs Red, diagram an agentic security-triage pipeline with a human approval gate, and lay out the access-tier, audit-log, and sandboxing requirements for running cyber models in an enterprise. Authorized and defensive use only.

Bloomberg reports Temporal is in talks to raise roughly $500 million at a valuation of at least $12 billion, more than doubling its $5 billion February 2026 Series D. The bet is durable execution: workflows that persist across crashes, retry from checkpoints, and survive redeploys — now the backbone of AI agents that run for hours or days. We explain deterministic replay over event-sourced history, price the unit economics of losing an uncheckpointed 6-hour job, compare naive agent loops with durable workflows, and show Temporal Workflow and Activity code with retry policies and idempotent IDs.

On Aug 13 2026 OpenAI previewed Ultrafast — GPT-5.6 Sol at up to 750 output tokens per second (~14x Standard), powered by Cerebras wafer-scale engines (900,000 cores, 44GB SRAM on one slab). This dispatch builds cerebras-fast-mcp, a FastMCP Python server exposing four governed tools — complete_fast, tokens_per_second, route_fast_vs_standard, failover_standard — with a TTFT latency guard, a per-request cost/jitter meter, inputSchema, mcpServers config, and OAuth 2.0 scoped-token security.

Anthropic's unreleased frontier model tested 650 ideas across 60 subagents (31M tokens) on the Riemann Hypothesis — and the confirmed findings were formalized in Lean, making Lean the emerging proof-of-correctness gate for both math and AI code. This dispatch builds lean-mcp, a FastMCP Python server exposing five tools — check_lemma, compile_project, list_theorems, propose_tactic, check_import — with inputSchema, mcpServers config, and a localhost transport secured by OAuth 2.0-scoped registry tokens.

An unreleased Anthropic model made significant — not complete — progress on the Riemann Hypothesis by testing 650 ideas across 60 parallel subagents over 31 million tokens, with findings confirmed by in-house mathematicians and formalized in Lean. The run is a blueprint for research agents that don't hallucinate proofs: an idea registry prevents duplicate exploration, and a Lean formalization gate means hypotheses only count if they compile. We diagram the fan-out pipeline, stage by stage, and price the token economics from roughly $12k to $62k depending on routing. This is progress, not a proof, and the article is precise about that.

SpaceX closed its $60 billion all-stock acquisition of Cursor on August 14, 2026, capping the coding-agent consolidation wave. With ~$4B annualized revenue, a jointly trained Colossus model shipping into Cursor and Grok Build, and AI revenue projected to lead all of SpaceX by September, here is the vendor map and the unit economics.

On August 17-18, 2026, Google transferred the Agent2Agent (A2A) protocol to the Agentic AI Foundation under the Linux Foundation, joining MCP, OpenAI's AGENTS.md, Block's goose, and agentgateway. A2A v1.0 (frozen March 12, 2026) brings signed agent cards, multitenancy, version negotiation, and multi-protocol bindings. Here is how MCP, A2A, and AGENTS.md divide the agent stack.

Cyera agreed on July 28, 2026 to acquire Oasis Security for ~$1B, bringing non-human identity (NHI) and Agentic Access Management into its data-security platform. With NHI counts in the Fortune 500 up ~500% in six months and a wave of deals — CrowdStrike-SGNL, Palo Alto-CyberArk, Cisco-Astrix — machine identity has become the agent era's control plane.

The week of August 13-16, 2026 was the biggest open-weights news week of the year: Gemini 3.7 Flash and GLM-5.3 launched, Qwen3.8-27B surfaced with no repo, Muse Spark 1.2 weights stayed unpublished, and DeepSeek moved to peak/off-peak pricing. The takeaway is discipline: announced is not shipped.