mcp-server-tibet

Put performance and error data directly in the hands of your AI assistant.

Access financial market data: realtime & historical stock, ETF, options, forex, crypto, commodities, fundamentals, technical indicators, & more

Control Opentrons robots, manage protocols, and search API documentation.

Engineering discipline and persistent memory for AI coding assistants

Interact with the Lean theorem prover via the Language Server Protocol (LSP), enabling LLM agents to understand, analyze, and modify Lean projects.

A simple Hello World MCP server built with FastMCP, serving as a basic example.

A remote MCP server deployable on Cloudflare Workers without authentication.

Integrate the full power of Gemini Pro 3 to Claude Code

MCP server that gives LLMs structural code intelligence across multiple repos

Manage Rails i18n translations with CopyTuner. Search, update, and create translation keys.

Integrate with Google Gemini through its command-line interface (CLI).

A server for managing and reusing prompts with Large Language Models (LLMs).