Toolpin Monitor a server

HLA-Verify

com.hlaverify/hla-verify · v1.0.1 · MCP 2026-07-28

HLA nomenclature and match checks against a pinned IPD-IMGT/HLA release. No patient identifiers.

Reachability reachable
checked 2026-09-20 05:31 UTC
Registry status active
Tools pinned 10
2a4d9db00e92
Tools last changed 2026-09-18
Repo last push 2026-09-17
GitHub stars 0

Provenance

Registry namespace com.hlaverify (domain verified by the official registry)
Repository github.com/jasonbrelsford/verifiable-science-envs
Website https://hlaverify.com
Remote endpoints
https://api.hlaverify.com/mcp (streamable-http)

Observed changes

When (UTC)EventDetail
2026-09-18 05:30 tools changed 1 added, 0 removed, 1 changed
2026-09-17 05:30 first capture 9 tools pinned

Pinned tool definitions (10)

ToolDescription
verify_text Scan HLA typing report text, or model output about HLA, for allele-shaped tokens and classify each one: valid / legacy (with modern form) / deleted (with successor) / fabricated. Nomenclature checking against a pinned IPD-IMGT/HLA...
normalize_allele Normalize one reported HLA allele name (any era) to current 2-field form, with G group, P group, serologic equivalent, and flags.
allele_info Look up one exact name in the pinned release and return what it is: assigned (G/P group, first release, confirmed status, WMDA serology, null flag), valid_prefix (member count and sample), or deleted (successor). Not found if the name...
match_score Count a donor-recipient HLA match by the published counting rules (R1-R6): allele arithmetic over chromosomes, not a donor recommendation. recipient/donor: {"A": ["A*01:01","A*02:01"], "B": [...], ...} (two reported alleles per locus,...
check_typing QC-check one HLA typing (all loci) against the pinned release: resolves every reported allele, flags unresolvable/outdated/locus-mismatched/null alleles, flags too-many/single/homozygous per locus, computes the B-leader (-21 M/T) and...
donor_compat Donor/recipient immunogenetic compatibility under two published rule sets: HLA-B leader match (-21 M/T, Petersdorf 2020) for a single HLA-B mismatch, and KIR ligand (C1/C2/Bw4) class comparison, computed over each side's full typing QC....
validate_gl_string Validate and normalize a GL String (Genotype List, ^ | + ~ / grammar): resolves every allele token, flags outdated/unresolvable names and structural problems (mixed loci within a slash-list, a repeated locus within a haplotype or across...
beta_signup Put a user on the free public beta's notification list for paid API keys. Ask before calling: it records the address they give you. Re-signing the same address is safe (status already_recorded). Someone who needs a higher rate limit...
research_access Apply for free HLA-Verify access for an academic or nonprofit lab. Ask before calling: it records the address, institution and use case you give it. Approval is manual: a person reads every application, so it is not instant and not...
about What this server is and is not, what to send it, benchmark evidence for why to use it, the beta state, and terms.
Get alerted when this changes. Email the moment com.hlaverify/hla-verify drifts, dies, or revives.

Status badge

Toolpin status badge for com.hlaverify/hla-verify

[![Toolpin](https://toolpin.dev/badge/com.hlaverify/hla-verify.svg)](https://toolpin.dev/servers/com.hlaverify/hla-verify)

Maintain this server? Add the badge to your README. It links your users to this live status page.