Linear

Integrates with Linear's issue tracking system, enabling creation, updating, and searching of issues, as well as managing comments and user assignments for project management tasks.

Continue reading
Report

Similar MCPs

View All
Home Assistant

Connect to the Home Assistant platform, enabling smart home control.

GoWeb3 Data

GoWeb3 Data MCP Server provides Web3 events and news curated by GoWeb3.fyi

Browser Use MCP Server

A fast, lightweight Model Context Protocol (MCP) server that empowers LLMs with browser automation via Puppeteer’s structured accessibility data, featuring optional vision mode for complex visual understanding and flexible, cross-platform configuration.

Together AI Image Generation

Integrates with Together AI's API to enable text-to-image generation, offering tools for creating visual content based on text prompts.

Chroma Package Search

Give coding agents the ability to understand dependencies.

RoCQ

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.

  • tmp_val__name__