MCP server

Intent-Verified Development (IVD)

io.github.leocelis/ivd

Checked 25 Oct 2026, 20:29 UTC · It answered and asked for a sign-in

33 tools that make AI write, implement, and verify intent against explicit, testable constraints.

Needs a sign-in or key

https://mcp.ivdframework.dev/mcp

At a glance

Type: MCP server
Publisher: Not verified
Status: Needs a sign-in or key
Sets up in: Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok
Last checked: 25 Oct 2026, 20:29 UTC

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http ivd https://mcp.ivdframework.dev/mcp

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.ivd]
url = "https://mcp.ivdframework.dev/mcp"

Gemini CLI

{"mcpServers":{"ivd":{"httpUrl":"https://mcp.ivdframework.dev/mcp"}}}

Cursor

{"mcpServers":{"ivd":{"url":"https://mcp.ivdframework.dev/mcp"}}}

VS Code

{"servers":{"ivd":{"type":"http","url":"https://mcp.ivdframework.dev/mcp"}}}

Antigravity

agy mcp add ivd https://mcp.ivdframework.dev/mcp

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"ivd","server_url":"https://mcp.ivdframework.dev/mcp","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"ivd","server_url":"https://mcp.ivdframework.dev/mcp"}

Needs a sign-in or an API key from its maker.

MUJ428 Trust Layer — Bind Approved Intent to Verified Effect
Payment-rail-independent intent-to-effect integrity for consequential agent actions.
Geode
Use the Geode blockchain's apps: marketplace, social, surveys, messaging, DNS and GEODE transfers.
TunnelMind Data API
Tracker / Sigil / Cross-lens — every TunnelMind Data API operation as one MCP surface.
Gemmein
Gemmein docs, API reference, error explainers and a live integration check for coding agents.
APIR Agent Verification
Check an AI agent you did not build: is it who it claims, inside its mandate, and what's its record
Biii
Fail-closed safe-to-pay verdicts on Base: known-bad wallets, look-alike tokens, repeat rug funders.
Replo
Research competitors and build, edit, and manage ecommerce sites from your AI assistant.
Sunaiva Gate — Agent Rule Enforcement
MCP enforcement layer that intercepts AI agent actions and blocks rule violations before execution.

[![AptLynx](https://aptlynx.net/badge/io.github.leocelis/ivd.svg)](https://aptlynx.net/servers/io.github.leocelis/ivd)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents