lookupd

io.github.leocelis/ivd

needs login checked

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Intent-Verified Development (IVD)

Publisher-provided description

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

Summary by lookupd

Lets an agent define explicit testable constraints, implement code against them, and verify the implementation matches stated intent.

Install

Claude Code, remote (streamable-http)

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

Codex, remote (streamable-http)

codex mcp add ivd --url https://mcp.ivdframework.dev/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

Badge for your README

Shows this live status and links here; updates hourly.

lookupd status badge for io.github.leocelis/ivd

[![lookupd status](https://lookupd.com/badge/io.github.leocelis/ivd.svg)](https://lookupd.com/servers/io.github.leocelis/ivd)