Menü
Run Solidity smart contract tests using Foundry forge
Mit Codex oder Claude installieren Kopieren Sie diesen Prompt, fügen Sie ihn in Codex, Claude oder einen anderen Assistant ein und lassen Sie die Skill-Seite prüfen und installieren.
Basierend auf der SOC-Berufsklassifikation
DeFi conventions, decimal handling, and protocol integration patterns used in this project. Load when working with token amounts, price conversions, or protocol interactions.
Use when an agent needs to retrieve, preserve, or maintain durable organization or project knowledge across sessions using Tau memory.
Run the full end-to-end integration test suite
Build all project components (Solidity contracts and Rust WASM)
Check the health and state of a deployed SmartVault by querying on-chain data
Deploy smart vault contracts to a local Anvil fork
| name | test-contracts |
| description | Run Solidity smart contract tests using Foundry forge |
| disable-model-invocation | true |
| argument-hint | [test-name or file-path] |
Run the Solidity smart contract tests.
If arguments are provided, run a targeted test:
$ARGUMENTS looks like a test name: forge test --match-test $ARGUMENTS -vvv$ARGUMENTS looks like a file path: forge test --match-path $ARGUMENTS -vvvforge test -vvvTest files in contracts/test/:
SmartVault.t.sol — Core unit tests (deposit, withdraw, LP, hedge)SmartVault.delta.t.sol — Delta rebalancing testsSmartVault.invariant.t.sol — Stateful invariant testsSmartVault.race.t.sol — Reentrancy guard + payload freshness testsRebalanceDispatch.t.sol — Dispatcher fan-out + Pause / SupplyIdle / module-swap guardsAaveGovernanceDrift.t.sol + .fork.t.sol — Reserve LT drift + force-close escape hatchAaveT13b.t.sol + .fork.t.sol — T1.3-B (LP-burn-on-grow) flashloan flowAaveDepegStress.fork.t.sol — USDC depeg stressed-LTV partial-unwindSmartVault.aavefuzz.t.sol — LTV / governance-drift / depeg fuzzIf tests fail, analyze the output, identify the root cause, and suggest a fix.