fix_verification

Name: fix_verification
Availability: InStock
Author: MultiversX

Verify smart contract bug fixes by running Mandos scenarios and regression tests.

12|5|Updated Jan 28, 2026

Search Tags:#testing #code audit #regression testing #bug verification #smart contract security #mandos

Ready to run

npx skills add https://github.com/multiversx/mx-ai-skills --skill fix-verification

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: fix_verification
Source: https://github.com/multiversx/mx-ai-skills/tree/main/antigravity/skills/fix_verification
Command: npx skills add https://github.com/multiversx/mx-ai-skills --skill fix-verification

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This skill ensures that reported bugs are truly fixed and that the fix doesn't introduce new issues into the codebase.

Core Features & Use Cases

Reproduce Bugs: Create test cases (e.g., Mandos scenarios) to demonstrate the bug.
Verify Fixes: Run tests after a code modification to confirm the bug is resolved.
Regression Testing: Ensure all existing tests pass after the fix is applied.
Use Case: After a developer commits a fix for a smart contract vulnerability, use this skill to automatically run the exploit scenario to confirm it fails, then run the full test suite to ensure no new issues were introduced.

Quick Start

Verify that the latest commit has fixed the reported bug by running the relevant Mandos scenario and the full regression suite.

Frequently Asked Questions about fix_verification

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

FAQPage Schema

How do I verify a smart contract bug fix without introducing regressions?▼

To verify a smart contract bug fix without regressions, execute predefined test scenarios to reproduce the bug, apply the code modifications, re-run the failing scenario to confirm resolution, and then execute the full regression test suite to ensure overall code stability.

What is the best way to reproduce a reported smart contract vulnerability before applying a fix?▼

The best way to reproduce a reported smart contract vulnerability is to create specific test cases, such as Mandos scenarios, that demonstrate the bug. Running these predefined scenarios confirms the exact conditions triggering the exploit before applying any code modifications.

Does bug verification work with Mandos testing framework for scenario execution?▼

Yes, bug verification works with the Mandos testing framework for scenario execution. It requires integration with a testing framework like Mandos to run predefined exploit scenarios and a version control system to apply and verify code fixes.

How do I run regression tests after modifying smart contract code?▼

To run regression tests after modifying smart contract code, execute the entire regression test suite immediately after applying the fix. This ensures that the code modification resolving the original bug does not introduce new issues into the codebase.

When do I need to run both exploit scenarios and the full test suite for code audits?▼

You need to run both exploit scenarios and the full test suite during code audits when confirming a reported vulnerability is fixed. First, run the exploit scenario to verify it fails, then run the full suite to guarantee no new regressions were introduced.