"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

Enables sharing coding progress on Twitter by analyzing sessions and generating tweet suggestions, with tools for posting tweets, threads, and OAuth authentication.

Enables downloading content from various social media platforms through a unified API. Provides a single tool to download media from multiple social networks using the Social Download All In One service.

Local MCP server that integrates with VK Ads API and Core VK API, providing 128 tools for managing ad campaigns, audiences, creatives, statistics, and analyzing VK communities.

Enables AI assistants to interact with the Post For Me API, allowing them to explore endpoints, make test requests, and use documentation to help integrate this SDK into your application.

Publish reliable, duplicate-free Telegram posts from ChatGPT — manually or as part of a scheduled workflow.

An MCP server that lets AI assistants like Claude read LinkedIn data through your own logged-in browser session. Access profiles and companies, search for jobs, or get job details.

MCP Server for notify to telegram / weixin

Converts X (Twitter) posts into JSON, PDF, PNG, Markdown, or Slack/Discord messages using public endpoints, no API key or login required.

Enables publishing content to multiple social media platforms (YouTube, Twitter, Facebook, Instagram, TikTok, Reddit, Blog) through automation agents, with task management and system validation.

Searches Reddit for answers to questions and saves Q&A sessions to Notion.

An MCP server that lets AI assistants like Claude read LinkedIn data through your own logged-in browser session. Access profiles and companies, search for jobs, or get job details.

Enables LinkedIn profile reads and post operations through a local-first MCP server, with OAuth token management and approval-friendly tools for OpenWorker.

Allows AI agents to authenticate with LinkedIn and share posts or links via the Model Context Protocol.

A lightweight toolkit that enables Claude to search Twitter with natural language queries and display results based on user intent, supporting features like tweet filtering, pagination, and flexible output formatting.

An MCP server for interacting with Reddit, enabling browsing, searching, content creation, and management with built-in safe mode and bot disclosure features.

Local-first MCP server using LinkedIn's official OAuth and REST APIs to connect a member account, read profile, and publish text posts.

MCP server for querying 4chan archives (Desuarchive, 4plebs, b4k, archived.moe) via the FoolFuuka API, enabling AI agents to search and retrieve historical archived posts.

Connects AI tools to InfluIQ for analyzing influencers, discovering creators, and generating reputation reports through natural language.

Enables AI assistants to read LinkedIn profiles, company pages, jobs, messages, and feed through a user's logged-in browser session.

Connects AI assistants to Bloghunch publications for automating content creation, analytics, and distribution.