procontext.dev

Get an email when its DNS, website or certificate changes.

procontext.dev serves a website of its own over HTTPS. It answers on both IPv4 and IPv6, with a valid TLS certificate and MX records for mail.

Its busiest IP address is shared with 10,611,638 other domains.

The most recent crawl returned the page title “ProContext - The Documentation Layer for AI Coding Agents” and 70,903 bytes of HTML.

Domain properties

Property	Value	Explanation
Top-level domain	.dev	Statistics for all domains we know under this TLD.
Has website	yes	A website is hosted under the domain, which does not redirect to an external domain.
Has MX-record	yes	The domain has an MX record.
External redirect	no	The domain redirects to another domain.
Redirect to https	yes	The domain redirects to https.
Redirect to www.	no	The domain redirects to www.domain.
Only with www.	no	The domain can only be reached with the subdomain "www".
Only DNS, no website	no	There are no A or AAAA records in DNS.
IP-Address	Both	Shows whether the domain only has IPv4 or IPv6 or both.
SSL-Certificate	valid	Shows whether the domain has a valid SSL certificate.
Redirects	0	Number of domains that redirect to this domain.
Reverse IP	23,882,880	Number of domains with the same IP(s).

This data through the API

The data on this page is also available as JSON: /lookup for the key facts, /reverseip, /redirect and /similar for the lists, and /dnshistory with Basic and Premium. A free account comes with an API key and 100 calls a day.

curl -X POST https://api.webxtrend.com/v1.0/lookup \
  -H 'Content-Type: application/json' \
  -d '{"token": "YOUR_TOKEN", "query": "procontext.dev"}'

Create a free account Read the API docs

Similar websites

Website	Similarity
codeteel.com Codeteel — Open Source AI Coding Agent \| Local LLM, Slack, Telegram, Discord Self-hosted AI coding agent that connects to your local Ollama models. Code from Web, Slack, Telegram, or Discord. ReAct architecture, human-in-the-loop plan...	85 %
stackgems.com Stack Gems — Opinionated reviews of developer tools Sharp, opinionated reviews of developer tools. Agent-operated, human-vetted. 927 tools and 527 skills across 13 stacks.	84 %
agent0s.com Agent0s — AI Intelligence Library Mission-critical AI tools, prompts, hooks, and techniques — curated daily for builders and business owners.	84 %
explainers.fyi Explainers.fyi - AI Explainer Hosting for Developers Publish AI-generated HTML explainers with one API call. Get 20 free monthly explainers, public URLs, and support for Claude Code, Cursor, Copilot, and Codex.	84 %
phasr.sh Phasr: Open-Source AI Agent Workspace Phasr is a free, open-source AI code editor for running parallel coding agents. Orchestrate Claude, Codex, Cursor, Copilot, and more with Git worktree isolat...	84 %
litosai.dev Litos AI — Open-Source AI Coding Agent for VS Code Install Litos, an open-source AI coding agent for VS Code built in pure C# and .NET. Use Claude, GPT, Gemini, or OpenRouter.	84 %
usegyro.io Gyro — Coding with AI, done better. Open-source AI coding workspace for macOS. Gyro brings your agents, terminal, and IDE Workspace together. Free for Apple Silicon and Intel.	84 %
developerhub.io DeveloperHub, Ship docs at the speed of your code Create powerful beautiful documentation, hassle-free. DeveloperHub is a hosted documentation platform for product docs, knowledge bases and API references.	83 %
codezal.com Codezal — The Free Platform for AI Coding A desktop AI agent that runs on your own machine: coding, assistant and design modes, your own provider keys, your own files. Free. No lock-in.	83 %
fspec.dev fspec ~ Stop fixing AI chaos. Start shipping quality. Kanban-based project management and specification tool for AI agents that enforces ACDD workflow	83 %
git-arbiter.com Arbiter - Autonomous GitHub Issue Solver Let AI solve your GitHub issues automatically. Arbiter monitors your repos, picks up labeled issues, and creates pull requests while you sleep.	83 %
dubstack.wiki Turn your repo into docs \| dubstack.wiki	83 %
a2m.one A2M — AI App Marketplace List your AI project with one command. Zero forms. Terminal-first.	83 %
brainit.dev BrainIt — AI-Ready Docs for Your GitHub Repo Connect your repo. Get structured markdown docs, knowledge graphs, and Obsidian vaults — optimized for Claude Code, Cursor, and Copilot.	83 %
sdkproof.dev SDKProof — why AI coding assistants write library code that won't compile How well do AI coding agents write your SDK's current API? Type-checked scorecards on Claude Opus 5 — the compiler decides, not an LLM judge.	83 %
aibrew.ai MyBrew AI tools tested. Open-source projects explained. Practical guides — hand-crafted, no hype.	83 %
builtbyvibe.dev BuiltByVibe — Directory for Vibe Coded Apps & Software The premier directory for vibe coded apps and software prompted into existence. Share your AI creations, discover what others are building, and get inspired...	83 %
repocontext.dev RepoContext — Turn your codebase into AI-ready context Enterprise-grade repository analysis. Generate accurate AGENTS.md, CLAUDE.md, and Cursor rules for AI coding agents in seconds.	83 %
vibecodingdiscover.com Vibe Coding Discover — Discover AI Open Source for Vibe Coding Discover top AI open source — Agents, MCP, Skills, RAG, Tools and Frameworks. Vibe Coding Discover helps you find the right project so you can code faster.	83 %
spryv.com Spryv Agent — Autonomous AI Coding Agent That Works With Any Model Full-power autonomous coding agent. Explore, plan, execute, verify — with Claude, Gemini, DeepSeek, or any OpenAI/Anthropic-compatible API. VS Code, desktop,...	82 %

Websites whose start page offers something similar, found by comparing the text of their start pages, across languages. Near-identical copies, parking pages and error pages are left out. The full list of up to 100 comes through the API: similar websites.

Last SSL certificate

Issuer	Google Trust Services
Valid from	8/24/2026
Valid to	11/22/2026
Time until expiry	29 days

Last successful crawl

Title	ProContext - The Documentation Layer for AI Coding Agents
Description	Give your AI coding agent accurate, up-to-date library documentation - so the code it writes actually works. No more hallucinated APIs. No more stale code.
Content-Length	70,903 bytes

Title and description as published by the page itself in its own <title> and <meta name="description"> tags.

DNS history

IPv4 address	First seen
104.21.83.54	5/27/2026
172.67.214.208	5/27/2026
188.114.96.0	5/20/2026
188.114.97.0	5/20/2026
104.21.83.54	5/5/2026

IPv6 address	First seen
2606:4700:3032:0:0:0:ac43:d6d0	6/22/2026
2606:4700:3034:0:0:0:6815:5336	6/22/2026
2606:4700:3030:0:0:0:6815:5336	5/27/2026
2606:4700:3030:0:0:0:ac43:d6d0	5/27/2026
2a06:98c1:3120:0:0:0:0:0	5/20/2026

Mail server	Priority	First seen
procontext-dev.mail.protection.outlook.com	0	3/10/2026
route2.mx.cloudflare.net	3	3/3/2026
route1.mx.cloudflare.net	9	3/3/2026
route3.mx.cloudflare.net	32	3/3/2026

Name server	First seen
gabe.ns.cloudflare.com	3/3/2026
veda.ns.cloudflare.com	3/3/2026

The five most recent states of each record type. The full history comes through the API: DNS history.

Most recent redirect domains

No domains found.

Reverse IP neighbours

2a06:98c1:3120::3 10,611,639 domains · here since 10/20/2026

Domain	On this IP since
zzzzzzzzzzzzzzzzzzzzzz.my.id	10/21/2026
zzzzzzzzz.xyz	10/6/2026
zzzzzzzzz.org	10/19/2026
zzzzzzzzum.icu	10/13/2026
zzzzzzzoes.site	10/16/2026
zzzzzzys.com	9/19/2026
zzzzzzkgf.store	10/22/2026
zzzzzyl1.cn	10/14/2026
zzzzzssss55.online	9/16/2026
zzzzzssss55.buzz	9/20/2026
zzzzzsss77.online	9/20/2026
zzzzzssj.com	9/14/2026
and 10,611,626 more

2a06:98c1:3121::3 10,611,636 domains · here since 10/20/2026

Domain	On this IP since
zzzzzzzzzzzzzzzzzzzzzz.my.id	10/21/2026
zzzzzzzzz.xyz	10/6/2026
zzzzzzzzz.org	10/19/2026
zzzzzzzzum.icu	10/13/2026
zzzzzzzoes.site	10/16/2026
zzzzzzys.com	9/19/2026
zzzzzzkgf.store	10/22/2026
zzzzzyl1.cn	10/14/2026
zzzzzssss55.online	9/16/2026
zzzzzssss55.buzz	9/20/2026
zzzzzsss77.online	9/20/2026
zzzzzssj.com	9/14/2026
and 10,611,623 more

188.114.97.2 1,329,810 domains · here since 10/20/2026

Domain	On this IP since
zzzzy.com	10/3/2026
zzzzi6.com	10/17/2026
zzzzbett-br.com	10/15/2026
zzzzapp.org	9/30/2026
zzzzahodim.com	10/15/2026
zzzzab.com	10/19/2026
zzzz77777.com	10/20/2026
zzzz3.app	10/15/2026
zzzz1998e.com	10/14/2026
zzzz-al.com	10/21/2026
zzzysolar.com	10/17/2026
zzzydev.com	10/14/2026
and 1,329,797 more

188.114.96.2 1,329,795 domains · here since 10/20/2026

Domain	On this IP since
zzzzy.com	10/3/2026
zzzzi6.com	10/17/2026
zzzzbett-br.com	10/15/2026
zzzzapp.org	9/30/2026
zzzzahodim.com	10/15/2026
zzzzab.com	10/19/2026
zzzz77777.com	10/20/2026
zzzz3.app	10/15/2026
zzzz1998e.com	10/14/2026
zzzz-al.com	10/21/2026
zzzysolar.com	10/17/2026
zzzydev.com	10/14/2026
and 1,329,782 more

Sharing an address does not always mean sharing a server: on a CDN or a large hosting platform, millions of unrelated domains answer on the same few addresses. We measured how far that goes in Half the web sits on 276 IP addresses. The complete list of neighbours, also for an IP address, comes through the API: reverse IP lookup.

Dive into our data, search now!