[AUTO] Adding MCP Servers docs update

[evantahler]

This PR was generated after a Porter deploy succeeded.

• Trigger: workflow_dispatch
• Deploy env: unknown
• Deploy SHA: unknown
• Run: https://github.com/ArcadeAI/docs/actions/runs/24216365173

---

Note

Medium Risk
Medium risk because it changes published toolkit surfaces (adds PostHog, removes some GitHub/Jira tools) and updates auth scope requirements for Linear issue creation, which could affect users relying on prior docs/tool definitions.

Overview
Adds PostHog as a first-class development integration, including a new posthog.json toolkit definition (41 tools) and navigation/registry entries so it appears in the integrations list.

Refreshes generated toolkit metadata across existing toolkits: bumps GoogleDocs to 5.2.0 (adds input_format and expanded Markdown formatting support to CreateDocumentFromText), bumps Linear to 3.3.2 (updates CreateIssue to require write scope and removes issues:create from declared scopes), and bumps Math to 1.4.0. Also removes GitHub notification tools from the GitHub toolkit and removes two Jira priority-scheme tools, updating tool counts and regeneration timestamps accordingly.

^{Reviewed by Cursor Bugbot for commit 056f2e3. Bugbot is set up for automated code reviews on this repo. Configure here.}

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
docs	Ready	Preview, Comment	Apr 9, 2026 10:33pm