"VEED" matching MCP servers:

Contract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns receipts for new authority, weaker promise tiers, and new Guarded runtime obligations.

Provides read-only MCP tools for searching and asking over private documents via a local RAG service (reed), returning ranked passages with citations while keeping data on the machine.

Enables validating and verifying verifiable claims through structural checks, hash anchoring, and optional script execution, exposing self-test, validate, and verify tools over stdio.

MCP server that connects to your personal YouTube account and exposes your subscription feed, letting you list subscribed channels, recent uploads, and get YouTube watch links for handoff to other MCPs.

An MCP server that lets an LLM client browse and curate posts from a hand-picked list of Instagram tattoo artists via Instagram's Business Discovery API.

Enables subscribing to RSS/Atom feeds, polling them incrementally, and querying cached entries with search, summaries, and source listings. Tracks per-session consumption state so unacknowledged candidates can be surfaced for proactive notification.

MCP server for foldkit that exposes the 7-prime spine, 7 κ-bands, and 6 fold operations as tools and resources, enabling folding and analysis of state vectors in any MCP client.

MCP server for memory storage, encryption, search, and group sharing, used by Claude Code via the cordelia-agent-sdk.

Enables an agent to author StageFlow pipelines as JSON and check them against a live backend — its schema, stages, node types and plan ceilings — before spending a run, then execute or stop them and read back status, results, artifacts, meters and the node path a run took. It also exposes the same graphs to an open editor canvas and, when the backend asks, gathers the backend address through the client's own prompt rather than the conversation.

Salesforce sandbox seeding, built for AI agents. SOQL-driven org-to-org record copy with automatic dependency-graph walking, cross-org FK remapping, and a hard AI-never-sees-your-data boundary.

A local MCP server that enables MCP-compatible AI clients to inspect and control the currently open scene in a running Autodesk VRED Professional 2027 instance via a secure bridge, supporting read-only inspection and gated mutations like selection, visibility, transforms, and screenshots.

Enables logging progress updates to ThePuffer build tracker via a single tool, with safe concurrent writes.

AI agents hallucinate package names. need gives them a verified index of 10,000+ CLI tools — and a closed feedback loop that gets smarter with every install.

Provides aggregated plugin index data from GitHub and npm as an MCP server, enabling search, stats, and sync via natural language or commands.

Enables AI assistants to list YouTube subscriptions and unsubscribe from all or specific channels via browser automation and InnerTube API.

Enables executing Cisco CLI commands on network devices over SSH through two MCP tools for exec and config commands, with security and automation features.