Tmux

An MCP server for semantic code search & navigation that helps AI agents work efficiently without burning through costly tokens. Instead of reading entire files, agents can search conceptually and jump directly to the specific functions, classes, and code chunks they need.

Retrieves information related to Clojure dependency management.

Integrates with Luma AI's API to enable AI-driven video generation based on textual descriptions or parameters.

Integrates with Pushover.net to enable sending push notifications to various devices for real-time alerts and updates

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.

Integrates Jira for natural language querying and manipulation of project management data.