Skip to main content
Glama
Sign In

Intent-Verified Development (IVD)

by io.github.leocelis
OverviewDiscussionsAdmin

Server Details

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

The last two health checks of this connector failed. If this server requires authentication, missing or expired test credentials may be the cause. A test profile lets Glama authenticate for health checks and discover tools; it is separate from your personal connections.

If you are the author, claim ownership, then add or update a test profile under Admin → Test Profile.

Status
Unhealthy
Uptime
0.0% over the last 24 hours
Last Tested
Transport
Streamable HTTP
URL
Repository
leocelis/ivd
GitHub Stars
1
Server Listing
IVD
ChatGPT
–
Claude
–

Tool Schema Changelog

Recent tool additions, removals, and schema changes observed during successful MCP inspections.

Loading tool schema changelog…

    Related MCP Connectors

    Related MCP Servers

    • agentseed

      Morningstar202604
      A
      license
      Not graded
      quality
      A
      maintenance
      Enables AI coding agents to enforce spec-driven development and verify code before it is marked done, using six tools that catch invented APIs, scan for hallucinated content, check plugin conformance, sandbox-run tests, validate schemas, and record audit evidence.
      771 npm
      8
      PolyForm Noncommercial 1.0.0

    • Code-MCP

      millsydotdev
      F
      license
      B
      quality
      Not graded
      maintenance
      Turns AI assistants into full-stack software engineers with 36 tools for cognitive reasoning, code validation, project scaffolding, and AI/IDE configuration generation across 130+ programming languages, databases, and frameworks.
      35
      22 npm
      -

    • Glassbox

      DERYK-RYLOY
      A
      license
      Not graded
      quality
      B
      maintenance
      Enables AI coding agents to turn plans into structured artifacts that are recursively verified, scored 0–100 for trust with a plain-English verdict, and documented with receipts and renderable reports. It also provides a recursive multi-agent deep-thinking pipeline and an in-process Tiny Thinker for relevance gating and deduplication.
      1
      MIT

    • Diogenes Context Compression,

      stand-out-of-my-sun
      A
      license
      A
      quality
      B
      maintenance
      Enables developers and AI agents to compress context, plan token budgets, rerank results, patch code, analyze ASTs and dependencies, isolate stack traces, compile polyglot types, solve deterministic math, schedule constraints, judge A/B tests, and diff agent memory checkpoints through 12 specialized tools.
      15
      1
      MIT
    Try in Browser
    One endpoint for every MCP toolRayrun runs every MCP server behind one URL and holds the credentials. Each call is decided per client, tool, and argument, then recorded.ray.runAd

    Glama MCP Gateway

    Add one secure layer between your agents and this server.

    Resources