Intent-Verified Development (IVD)
Rank #31,262io.github.leocelis/ivd
33 tools that make AI write, implement, and verify intent against explicit, testable constraints.
Intent-Verified Development (IVD) is a Model Context Protocol (MCP) server published by leocelis. It ranks #31,262 of 132,113 servers tracked on MCP Toplist. Intent-Verified Development (IVD) is listed across 3 registries — Official MCP, PulseMCP and Glama, with 3 tracked versions. It was first listed on Feb 7, 2026 and most recently updated on Jul 22, 2026.
Ranks ahead of 100,851 of 132,113 servers on MCP Toplist.
Use Intent-Verified Development (IVD)
No credentials or required configuration declared — add it to your MCP client and go.
claude mcp add --transport http ivd https://mcp.ivdframework.dev/mcpThis endpoint requires authentication — see the server’s docs for credentials.
[mcp_servers.ivd]
url = "https://mcp.ivdframework.dev/mcp"Add to ~/.codex/config.toml. This endpoint requires authentication — see the server’s docs for credentials.
https://mcp.ivdframework.dev/mcpSettings → Connectors → “Add custom connector”, then paste this URL. This endpoint requires authentication — see the server’s docs for credentials.
{
"mcpServers": {
"ivd": {
"url": "https://mcp.ivdframework.dev/mcp"
}
}
}Add to ~/.cursor/mcp.json (global) or .cursor/mcp.json (per project). This endpoint requires authentication — see the server’s docs for credentials.
{
"servers": {
"ivd": {
"type": "http",
"url": "https://mcp.ivdframework.dev/mcp"
}
}
}Save as .vscode/mcp.json in your workspace. This endpoint requires authentication — see the server’s docs for credentials.
{
"mcpServers": {
"ivd": {
"serverUrl": "https://mcp.ivdframework.dev/mcp"
}
}
}Add to ~/.codeium/windsurf/mcp_config.json. This endpoint requires authentication — see the server’s docs for credentials.
{
"mcpServers": {
"ivd": {
"url": "https://mcp.ivdframework.dev/mcp"
}
}
}This endpoint requires authentication — see the server’s docs for credentials.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/io.github.leocelis%2Fivd)<a href="https://mcptoplist.com/server/io.github.leocelis%2Fivd"><img src="https://mcptoplist.com/badge/io.github.leocelis%2Fivd.svg" alt="MCP Toplist: Top 25% of 132,113" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 3 registries
leocelis
Other servers by leocelis
View all leocelis servers →Available versions (3)
| Version | Published |
|---|---|
| 3.1.2 | Jul 22, 2026 |
| 3.1.1 | Jul 20, 2026 |
| 3.1.0 | May 6, 2026 |
Frequently asked questions
- Who maintains Intent-Verified Development (IVD)?
- Intent-Verified Development (IVD) is maintained by leocelis, which publishes 2 MCP servers (5 total versions) tracked on MCP Toplist.
- Is Intent-Verified Development (IVD) listed on the Official MCP Registry?
- Yes — Intent-Verified Development (IVD) is listed on the Official MCP Registry, alongside PulseMCP and Glama.
- How many versions does Intent-Verified Development (IVD) have?
- MCP Toplist tracks 3 versions of Intent-Verified Development (IVD), most recently published on Jul 22, 2026.
- Where can I find the source code for Intent-Verified Development (IVD)?
- The source code for Intent-Verified Development (IVD) is hosted at github.com/leocelis/ivd.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.