Connect HALLUX and your agent gets 6 tools, among them hallux_account, hallux_check, hallux_check_command. It answers at https://api.blvkware.dev/hallux/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 4 of 4 times since 23 September 2026; the last check, on 7 November 2026, succeeded.
Check that a package, module or DOI exists before an agent installs, imports or cites it.
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
hallux_account | Show remaining credits for the API key in use (or free-tier status), pricing, and where to buy credits with PayPal. |
hallux_check | Does 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, Inputs: identifiers, model |
hallux_check_command | Call 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. Lan Inputs: command, model |
hallux_check_manifest | Call 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. Sup Inputs: filename, content, model |
hallux_report | Report 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 wa Inputs: identifiers, model, promptClass |
hallux_watch | Register 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 dep Inputs: callbackUrl, identifiers |
Every block below points at https://api.blvkware.dev/hallux/mcp. Pick your client and copy.
claude mcp add --transport http hallux https://api.blvkware.dev/hallux/mcp
{
"mcpServers": {
"hallux": {
"command": "npx",
"args": ["-y", "mcp-remote", "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"
}
}
}{
"context_servers": {
"hallux": {
"url": "https://api.blvkware.dev/hallux/mcp"
}
}
}{
"mcpServers": {
"hallux": {
"serverUrl": "https://api.blvkware.dev/hallux/mcp"
}
}
}{
"mcpServers": {
"hallux": {
"url": "https://api.blvkware.dev/hallux/mcp"
}
}
}name: HALLUX
version: 0.0.1
schema: v1
mcpServers:
- name: HALLUX
type: streamable-http
url: https://api.blvkware.dev/hallux/mcp{
"mcpServers": {
"hallux": {
"httpUrl": "https://api.blvkware.dev/hallux/mcp"
}
}
}{
"mcpServers": {
"hallux": {
"type": "http",
"url": "https://api.blvkware.dev/hallux/mcp"
}
}
}{
"mcpServers": {
"hallux": {
"url": "https://api.blvkware.dev/hallux/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fapi.blvkware.dev%2Fhallux%2Fmcp&type=streamable_http&id=hallux&name=HALLUX
It answered our last check on 7 November 2026 in 630 ms. Over 4 checks since 23 September 2026 it answered 4. Status here comes from Neuronto's own probes, not from the publisher.
Yes. It is published by blvkware.dev and served from api.blvkware.dev, the vendor's own domain: https://api.blvkware.dev/hallux/mcp.
6, as returned by the server's own tools/list on 13 November 2026: hallux_account, hallux_check, hallux_check_command, hallux_check_manifest, hallux_report, hallux_watch.
It answered our last check on 7 November 2026 in 630 ms. Over 4 checks since 23 September 2026 it answered 4.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://api.blvkware.dev/hallux/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: dev.blvkware. Endpoint host: api.blvkware.dev. ARD identifier: urn:air:dev.blvkware:mcp:hallux.
First indexed 23 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.