skills.rest
multiversx
multiversxOFFICIAL
Explore all skills by this author →
Website𝕏@multiversxGitHub

fix_verification

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
One-click install
npx skills add https://github.com/multiversx/mx-ai-skills --skill fix-verification
Or copy as Structured Prompt for Agent▼
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.

Related Skills

Explore More Software Engineering Skills→
ArabelaTsoArabelaTso
142

counterexample-to-test-generator

Converts model checker counterexample traces into executable test cases.

Community
Advanced
Pieverse-EngPieverse-Eng

addresses

Return verified Kaia system contract addresses for mainnet and testnet.

Official
Basic
OneWave-AIOneWave-AI
245

code-review-pro

Review code for security vulnerabilities, performance bottlenecks, and maintainability issues.

Official
Basic
bpnrockstarbpnrockstar

web3-audit

Audit Solidity or Rust smart contracts for 10 DeFi bug classes.

Community
Advanced