Intent-Verified Development (IVD)
Server Details
33 tools that make AI write, implement, and verify intent against explicit, testable constraints.
Glama couldn't complete the latest health check. 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 45 days
- Last Tested
- Transport
- Streamable HTTP
- URL
- Repository
- leocelis/ivd
- GitHub Stars
- 0
- Server Listing
- IVD
Related MCP Connectors
Lints + auto-fixes how AI coding agents discover any new product. 24 rules, 6 tools, score 0-100.
49 deterministic tools for text integrity, agent control, and contextual quality evidence.
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
130+ QA & dev tools for AI agents: prompt injection, RAG testing, VLM eval, guardrails. Free.
Related MCP Servers
- AlicenseNot gradedqualityAmaintenanceEnables 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 npm8PolyForm Noncommercial 1.0.0
- FlicenseBqualityNot gradedmaintenanceTurns 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.3559 npm-
- AlicenseAqualityDmaintenanceNine deterministic MCP tools that make LLM answers prove themselves before you trust them.911 npmMIT
- AlicenseBqualityAmaintenanceA 66-tool reasoning pipeline that intercepts prompts to classify intent, check past mistakes, and generate execution plans, enabling any LLM to think harder and avoid repeating errors.31MIT
Glama MCP Gateway
Add one secure layer between your agents and this server.