#apm

Proof Skills

APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

Claude Snaps

Session-event-driven snapshot lineage for your Claude Code agent's .harness/ composition. Time-travel, diff, reproduce.

Smalltalk Dev Plugin

Claude Code plugin for AI-driven Smalltalk (Pharo) development

Datadog MCP Server

Datadog MCP server — 159 tools for metrics, monitors, logs, APM, RUM, synthetics, incidents, fleet, status pages, and more. Read-only by def...

Specky

Agentic Spec-Driven Development — 13 agents, 58 MCP tools, 10-phase enforced pipeline. From meeting transcript to PR in one command. Install...

Skywalking MCP

Apache SkyWalking MCP Server

Scout MCP Local

Scout’s local MCP puts metrics, traces and errors right in your AI agent. For teams that do it all.