Is leocelis/IVD down?

glama/leocelis/ivd

Also listed as mcp-registry/io.github.leocelis/ivd · primary listing: mcp-registry/io.github.leocelis/ivd

As of —, leocelis/IVD is unknown.

Enables intent-verified development by writing structured intents with constraints and tests, then verifying implementations against them to reduce AI hallucinations.

No advertised endpoint or package; see https://github.com/leocelis/ivd for how to run it.

Tools (33)

• canon_check
• canon_check_rules_installed
• canon_diff
• canon_render
• ivd_assess_coverage
• ivd_attest
• ivd_check_placement
• ivd_discover_goal
• ivd_find_artifacts
• ivd_get_context
• ivd_import_spec
• ivd_init
• ivd_judgment_capture
• ivd_judgment_check_installed
• ivd_judgment_codify
• ivd_judgment_detect_patterns
• ivd_judgment_init
• ivd_judgment_inject_context
• ivd_judgment_pair
• ivd_judgment_propose_recommendation
• ivd_judgment_resolve
• ivd_judgment_save_codified
• ivd_list_features
• ivd_list_recipes
• ivd_load_recipe
• ivd_load_template
• ivd_propose_inversions
• ivd_review_intent
• ivd_run_constraint_tests
• ivd_scaffold
• ivd_search
• ivd_teach_concept
• ivd_validate

Compare: most reliable other servers · most reliable files servers · most reliable knowledge servers · most reliable data servers · most reliable security servers

claude mcp add --transport http glimind https://glimind.com/mcp

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is leocelis/IVD down right now?

As of —, leocelis/IVD is unknown.

How many tools does leocelis/IVD provide?

leocelis/IVD advertises 33 tools, including canon_check, canon_check_rules_installed, canon_diff, canon_render, ivd_assess_coverage.

How do I install leocelis/IVD?

No advertised endpoint or package; see https://github.com/leocelis/ivd for how to run it.

Operator of leocelis/IVD?

Status page: 90-day uptime, every outage and how long it lasted.

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above. Maintainers: alerts, deploy attestation and monthly reports.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.