Check that a package, module or DOI exists before an agent installs, imports or cites it.
Connect Remote server
claude mcp add --transport http hallux https://api.blvkware.dev/hallux/mcp
{
"mcpServers": {
"hallux": {
"url": "https://api.blvkware.dev/hallux/mcp"
}
}
}
{
"servers": {
"hallux": {
"type": "http",
"url": "https://api.blvkware.dev/hallux/mcp"
}
}
}
Settings > Connectors > Add custom connector
URL: https://api.blvkware.dev/hallux/mcp
Tools 6 found in our last check
hallux_check_commandCall this BEFORE running any command that installs or runs a dependency: npm/yarn/pnpm/bun install, npx, pip/uv/poetry/pipx, cargo add, go get, dotnet add package, gem install, composer require, dart pub add, docker pull/run, git clone. Language models invent plausible package n…
hallux_checkDoes this identifier actually exist, and is it safe? Call before acting on any name you recalled rather than read: a package to install, a module to import, a Docker image, a GitHub Action or repo, a DOI to cite. Verdicts: exists (proceed, but read `risk`), deprecated (use `succ…
hallux_check_manifestCall after writing or editing a dependency file and before committing or installing. Checks every dependency in one pass, including dev and optional groups, where an invented name usually arrives. Exact pinned versions are verified too. Supported: package.json, requirements.txt,…
hallux_watchRegister identifiers for a signed webhook when their verdict changes: phantom -> squat (someone registered a name models invent) or absent -> exists. Use for a name that came back absent/phantom which the user still intends to use, or a dependency set worth monitoring. Requires…
hallux_reportReport identifiers a model produced that turned out not to exist. HALLUX verifies each against its registry and records only absent ones as attestations in the public hallucination ledger, which is how names graduate to `phantom` and get watched for squatting. Requires an API ke…
hallux_accountShow remaining credits for the API key in use (or free-tier status), pricing, and where to buy credits with PayPal.
Details
| Endpoint | https://api.blvkware.dev/hallux/mcp (Streamable HTTP) |
| First published | 23 Sep 2026 |
| Last updated | 23 Sep 2026 |
| Registry name | dev.blvkware/hallux |
More ai and media servers See all
Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.
