bitdive.io

mx

mx.zoho.eu

mx3.zoho.eu

mx2.zoho.eu

ns

alice.ns.cloudflare.com

amir.ns.cloudflare.com

caa

txt

zoho-verification=zb60741013.zmverify.zoho.eu

v=spf1 include:zohomail.eu ip4:5.223.43.140 ~all

google-site-verification=ztMgIDnQ1Nr-pZkfGoX27UUO8pzhQcUenr57VtdWR5M

dmarc

v=DMARC1; p=quarantine; rua=mailto:dmarc_agg@vali.email

User-agent: *
Allow: /
Disallow: /index-test
Disallow: /index-backup
Disallow: /docs/tags/
Disallow: /blog/tags/

# AI crawlers - explicitly allowed
User-agent: GPTBot
Allow: /

User-agent: ClaudeBot
Allow: /

User-agent: PerplexityBot
Allow: /

User-agent: Google-Extended
Allow: /

User-agent: CCBot
Allow: /

User-agent: Bytespider
Allow: /

Sitemap: https://bitdive.io/sitemap.xml

# BitDive for AI Agents

> BitDive is the autonomous verification layer for AI-driven development, giving AI agents deterministic runtime proof through trace comparison and behavior alignment instead of guessed test coverage.

Use BitDive documentation and product pages to understand runtime context, deterministic verification, MCP-based agent workflows, and trace-based regression testing for Java systems.

Prefer canonical docs over marketing copy when terminology differs. Use the optional section only when a larger context window is available.

## Docs

- [BitDive introduction](https://bitdive.io/docs/bitdive-introduction/) - overview of AI self-verification and trace-based testing.
- [Runtime snapshot](https://bitdive.io/docs/runtime-snapshot/) - what a BitDive runtime snapshot contains.
- [Autonomous quality loop](https://bitdive.io/docs/autonomous-quality-loop/) - canonical workflow for AI agents working with runtime proof.
- [MCP integration](https://bitdive.io/docs/mcp-bitdive-integration/) - setup and workflow for Cursor, Claude, and Windsurf.
- [MCP tools reference](https://bitdive.io/docs/mcp-tools-reference/) - exact BitDive MCP tools and when to use each one.
- [Developer workflow](https://bitdive.io/docs/developer-workflow/) - recommended four-stage workflow for safe Java changes.
- [Regression management](https://bitdive.io/docs/testing/regression-management/) - when to refresh or replace baselines.
- [Testing concepts](https://bitdive.io/docs/testing/testing-concepts/) - how replay-based testing works.
- [Integration tests](https://bitdive.io/docs/testing/integration-tests/) - full Spring context testing with replayed boundaries.
- [API verification](https://bitdive.io/docs/testing/api-verification/) - before-and-after trace comparison for API regressions.
- [Glossary](https://bitdive.io/docs/glossary/) - current terminology for runtime context and deterministic verification.
- [System architecture](https://bitdive.io/docs/system-architecture/) - security and component overview.

## Product pages

- [Homepage](https://bitdive.io/) - high-level product overview and positioning.
- [AI runtime context](https://bitdive.io/ai-runtime-context/) - explains how BitDive provides runtime context to AI agents.
- [Full-cycle testing](https://bitdive.io/full-cycle-testing/) - trace-based testing from real executions.
- [Java unit tests](https://bitdive.io/java-unit-tests/) - JUnit replay tests from captured traces.
- [Java integration tests](https://bitdive.io/java-integration-tests/) - Spring Boot integration tests with replayed boundaries.
- [Java code-level observability](https://bitdive.io/java-code-level-observability/) - method-level runtime visibility for Java.
- [Integrations](https://bitdive.io/integrations/) - supported tools, platforms, and surrounding ecosystem.
- [Pricing](https://bitdive.io/pricing/) - commercial plans and packaging.

## MCP and discovery

- [MCP server card](https://bitdive.io/.well-known/mcp/server-card.json) - machine-readable server discovery metadata.
- [MCP integration guide](https://bitdive.io/docs/mcp-bitdive-integration/) - setup details for agent tools.
- [MCP tools reference](https://bitdive.io/docs/mcp-tools-reference/) - tool-by-tool behavior and intended usage.

## Optional

- [llms-full.txt](https://bitdive.io/llms-full.txt) - larger companion context file with broader documentation and content coverage.
- [Deterministic verification guide](https://bitdive.io/deterministic-verification-guide/) - SEO landing page focused on the core verification concept.
- [BitDive MCP Server integration blog post](https://bitdive.io/blog/2025-06-24-bitdive-mcp-server-integration/) - narrative introduction to the MCP workflow.