io.github.leocelis/ivd
repo:https://github.com/leocelis/ivd
33 tools that make AI write, implement, and verify intent against explicit, testable constraints.
- transport:
- remote
- credential class:
- gated
Owner verification
Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.
Start verification →Tools
Embed this server’s score
Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.
[](https://vouch.tools/servers/19ba5dc8-0683-405f-b1a3-e22ff7f4a254)