Is jasonbrelsford/verifiable-science-envs down?

github/jasonbrelsford/verifiable-science-envs

Also listed as mcp-registry/com.hlaverify/hla-verify · primary listing: mcp-registry/com.hlaverify/hla-verify

unknown
Last checked —

As of —, jasonbrelsford/verifiable-science-envs is unknown.

uptime (30d checks)
—
checks observed
—
outages (90d)
—
tools
8

Verifiable-reward RL environments and evals for scientific domains, starting with HLA/immunogenetics

No advertised endpoint or package; see https://github.com/jasonbrelsford/verifiable-science-envs for how to run it.

Tools (8)

Compare: most reliable knowledge servers · most reliable other servers · most reliable ml servers

Know before your agent calls it

Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.

Add Glimind — free, no signup:

Add to Cursor Add to VS Code

Claude Code

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

Claude Desktop · Windsurf · Cline (mcpServers JSON)

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

FAQ

Is jasonbrelsford/verifiable-science-envs down right now?

As of —, jasonbrelsford/verifiable-science-envs is unknown.

How many tools does jasonbrelsford/verifiable-science-envs provide?

jasonbrelsford/verifiable-science-envs advertises 8 tools, including about, allele_info, check_typing, donor_compat, match_score.

How do I install jasonbrelsford/verifiable-science-envs?

No advertised endpoint or package; see https://github.com/jasonbrelsford/verifiable-science-envs for how to run it.

Operator of jasonbrelsford/verifiable-science-envs?

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.

Feedback
Help us improve