"Tools for Converting LaTeX Mathematics to Lean Formalizations" matching MCP servers:

Enables agentic co-authoring of feature specs, decomposition into architecture-validated tickets, and idempotent syncing to Linear as projects with epics, sub-issues, and dependencies.

Enables conversion of business briefs or authenticated saved projects into structured handoffs for the Lovable plugin, with both anonymous basic mode and authenticated full mode including knowledge base, SEO, WCAG, security, and roadmap guidance.

MCP server that exposes project status tools (plan, milestones, RAID items, blockers) allowing AI assistants to retrieve and analyze project information via natural language.

MCP server for Taiga project management, enabling LLM clients to inspect and manage projects, work items, sprints, comments, attachments, and wiki pages via 6 op-dispatching tools.

A Model Context Protocol server that provides Monte Carlo forecasting tools for project duration, cost, completion dates, and sensitivity analysis using three-point estimates and historical throughput.

A local MCP server that gives AI agents read access to Roblox experience analytics via the Open Cloud API, exposing 168 metrics and analysis tools for retention, engagement, monetization, and more.

8 strategic GTM execution tools for founders, CMOs, and strategy leaders covering PMF assessment, launch planning, customer research, retention, partner programs, crisis management, and competitive intelligence.

MCP server for sharing markdown/text as beautiful, permanent web pages via plsreadme, with tools to share files/text, update and delete docs, and list previously shared links.

Provides market-intelligence tools for researching AI employee opportunities across Egypt, Saudi Arabia, and UAE using Meta ads evidence, with capabilities for competitor analysis, comparison, and evidence retrieval.

A hypothesis-driven B2B positioning engine with 8 tools for strategic positioning, competitive analysis, and go-to-market messaging.

An MCP server for the Trello REST API. Exposes ~36 curated tools for boards, lists, cards, checklists, labels, members, and search.

MCP server for the Productboard API v2. Provides 30 tools covering entities, notes, relationships, configurations, members, and analytics.

MCP server for product analytics using dot plots to visualize individual user activity, with tools for user classification, aha moment detection, retention analysis, and generating shareable HTML reports.

Enables AI tools to connect to the Dovetail API for accessing customer insights and research data.

Enables converting software development requirements into traceable estimates, WBS breakdowns, PERT calculations, risk registers, roadmaps, quotations, and professional PDF proposals or action plans. It supports reviewing assumptions, exclusions, scope gaps, and commercial documentation before sending deliverables to clients.

Connects AI coding tools to an Atono workspace, offering 41 tools to read and write stories, bugs, epics, subtasks, acceptance criteria, timeboxes, glossary, and AI context so agents work with real product knowledge.

Connects AI tools to the Dovetail API, enabling them to interact with Dovetail features.

Official MCP server for FeatureJet, enabling agents to read and act on customer feedback boards: list/search posts, file feature requests, and pull top-voted planned items.

Remote MCP server for Pruva, enabling AI assistants to manage products, features, and documents over HTTPS with OAuth authentication.

Collect and analyze user feedback from any app via a single API endpoint, with MCP tools for listing, searching, and stats.