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.
bitDive / bitdive-skills
