Skip to content
View bitDive's full-sized avatar
38 followers · 0 following

Achievements

Achievement: Starstruckx2

Achievements

Achievement: Starstruckx2

Block or report bitDive

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. infrastructure infrastructurePublic

    Self-hosted infrastructure for the BitDive Autonomous Verification Layer. A secure Docker Compose setup featuring Vault, Keycloak, PostgreSQL, MinIO, and the Monitoring API.

    Shell 89 13

  2. java-producer java-producerPublic

    Low-overhead Java agent for the Autonomous Verification Layer. Captures real runtime traces, SQL queries, and HTTP payloads in Spring Boot apps to enable trace-based testing.

    Java 86 4

  3. mcp-server mcp-serverPublic

    BitDive Model Context Protocol (MCP) server. The Autonomous Quality Loop for AI agents. Provides real runtime context, before/after trace comparison, and integration testing workflows.

    Python 77 18

  4. bitdive-test bitdive-testPublic

    Mock-free JUnit integration testing for Java & Spring Boot. Close the verification gap by turning captured runtime traces into deterministic tests. Zero mock scripts.

    Java 70 18

  5. bitdive-skills bitdive-skillsPublic

    AI agent skills for Claude Code, Cursor, and Codex. Empower LLMs to perform trace-based testing, before/after trace comparison, and deterministic verification via MCP.

    3 1