skills.rest
birdayz
birdayzCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

hunt-divergences

Identifies behavioral differences between pure-Go and C FDB clients via differential and fuzz testing and C++ source analysis.

3|Updated Aug 4, 2025
Search Tags:#interoperability#code debugging#fuzz testing#differential testing#client testing#FDB
One-click install
npx skills add https://github.com/birdayz/fdb-go --skill hunt-divergences
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: hunt-divergences
Source: https://github.com/birdayz/fdb-go/tree/main/.claude/skills/hunt-divergences
Command: npx skills add https://github.com/birdayz/fdb-go --skill hunt-divergences

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) components.

What problem does it solve?

This Skill finds and resolves behavioral divergences between the pure-Go FDB client and the C client, ensuring consistency and correctness in FDB operations.

Core Features & Use Cases

  • Divergence Detection: Identifies discrepancies between the two clients during differential + fuzz testing.
  • Root Cause Analysis: Analyzes the differences against the C++ source to determine the root cause.
  • Fix Implementation: Provides instructions to fix the Go client to align with the C client.
  • Regression Testing: Ensures that the fix has not introduced new divergences.

Quick Start

Run the skill to start the differential testing process for finding divergences.

Frequently Asked Questions about hunt-divergences

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I find behavioral divergences between the pure-Go FDB client and libfdb_c?▼

Differential and fuzz testing identifies behavioral divergences between the pure-Go FDB client and libfdb_c by comparing their execution outcomes. It detects discrepancies to ensure FDB interoperability and operational correctness across different programming languages.

What is differential testing used for in FoundationDB client interoperability?▼

Differential testing in FoundationDB client interoperability detects behavioral discrepancies between the pure-Go FDB client and the C client. It ensures consistent operations by comparing execution outcomes to highlight differences for root cause analysis.

How do I debug FoundationDB Go client inconsistencies using C++ source analysis?▼

Debug FoundationDB Go client inconsistencies by analyzing the identified differences against the C++ source code to determine the root cause. This Skill then provides specific instructions to fix the Go client and align it with the C client behavior.

Can I use fuzz testing to ensure FDB Go client fixes do not introduce new divergences?▼

Fuzz testing supports regression testing to ensure FDB Go client fixes do not introduce new divergences. It verifies that the updated pure-Go client remains behaviorally aligned with the C client after applying the provided fix instructions.

Does this Skill require external dependencies to perform FoundationDB client testing?▼

No external dependencies are required to perform FoundationDB client testing with this Skill. It operates independently using built-in scripts to identify and resolve behavioral differences between the pure-Go FDB and C clients.

Related Skills

Explore More Software Engineering Skills→
birdayzbirdayz
3

fdb-client-review

Review pure-Go FoundationDB client changes for C++ wire compatibility and concurrency safety.

Community
Advanced
protofireprotofire
3

protofire-qa-agent

Audit smart contracts with Slither, Echidna, and Foundry fuzz testing.

Official
Advanced
birdayzbirdayz
3

fdb-client-engineer

Drive pure-Go FoundationDB client changes through the RFC process.

Community
Advanced
coreindustriescoreindustries
1

debug

Guide systematic debugging workflows to reproduce, isolate, fix, and verify code defects.

Community
Advanced