NameScout
Search domains, package registries, code hosts, and plugin marketplaces from one practical report. No hype. Just the collisions that matter.
Provider coverage
Live checks across the registries developers actually publish to. Two more on the way.
Report
veriflo.com
domain · DNS records found
veriflo.dev
domain · DNS records found
npm
package · Exact npm package exists
PyPI
package · Exact PyPI project exists
GitHub org/user
code · Lookup returned HTTP 403
Docker Hub
distribution · Rate limited
Grouped results
veriflo.com
high confidence · DNS records found
veriflo.dev
high confidence · DNS records found
veriflo.io
high confidence · DNS records found
veriflo.app
high confidence · DNS records found
veriflo.ai
high confidence · DNS records found
veriflo.co
high confidence · DNS records found
npm
high confidence · Exact npm package exists
PyPI
high confidence · Exact PyPI project exists
crates.io
high confidence · No exact crate found
RubyGems
high confidence · Gem name is clear
Packagist
high confidence · No vendor packages found
GitHub org/user
low confidence · Lookup returned HTTP 403
VS Code
medium confidence · No matching publisher or extension
Docker Hub
low confidence · Rate limited
Homebrew
high confidence · No formula or cask found
$ namescout check veriflo
A darker, CLI-native direction for developer audiences. Compact, fast, and more report than landing page.
Public registry desk
npm
high
taken
Exact npm package exists
PyPI
high
taken
Exact PyPI project exists
GitHub org/user
low
unknown
Lookup returned HTTP 403
Docker Hub
low
unknown
Rate limited
crates.io
high
available
No exact crate found
RubyGems
high
available
Gem name is clear
Recommended action
Check alternate domains for veriflo
Homebrew
high
available
No formula or cask found
Packagist
high
available
No vendor packages found
VS Code
medium
available
No matching publisher or extension
Near matches
Even when your exact name is free, these are close enough to cause confusion.
bjwanneng/veriflow-cc
GitHubVeriFlow-CC: A Claude Code-driven RTL design pipeline. Automates Chip-on-Chat from architecture to synthesis (iVerilog/Yosys) using a stateful, zero-dependency LLM orchestration skill. Features sub-agent nesting for code gen and behavioral-driven verification.
MuLx10/VeriFlow
GitHubPython implementation of VeriFlow: Verifying Network-Wide Invariants in Real Time
Liyue-Cheng/Veriflow
GitHubverilog devleop scripting tool (work in progress)
ABI-CTT-Group/VeriFlow
GitHub