Intent-Verified Development (IVD)

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

Cueapi Mcp

Schedule agent work and report write-once outcomes via CueAPI from any MCP host.

Claude Desktopguide →Vscodeguide →Cursorguide →Windsurfguide →

ai1 env var

Intent-Verified Development (IVD)

remote

28 tools that make AI write, implement, and verify structured intent — so hallucinations get caught.

ai developer-tools

Getting Started

npx @getmcp/cli add io.github.leocelis/ivd

Requires Python 3.10+. Community-contributed server. Review source before installing.

Required Environment Variables

Authorization
API key for the IVD hosted server. Request one at https://ivdframework.dev.

Configuration

Config file: ~/Library/Application Support/Claude/claude_desktop_config.json

JSON

{
  "mcpServers": {
    "io.github.leocelis/ivd": {
      "url": "https://mcp.ivdframework.dev/mcp",
      "transport": "streamable-http",
      "headers": {
        "Authorization": "Bearer {api_key}"
      }
    }
  }
}

Claude Desktop MCP documentation

Related Servers

Tandem Docs

remote

Remote MCP server for Tandem docs, install guides, SDKs, workflows, and agent setup help.

binary

Spotdb

Ephemeral data sandbox for AI workflows with guardrails and security

docker

aiclouddata

Anki MCP Server

MCP server for Anki flashcards: adaptive review, notes, media, and deck management via AnkiConnect.

Cueapi Mcp

Schedule agent work and report write-once outcomes via CueAPI from any MCP host.