بنقرة واحدة
check-vault-health
Check the health and state of a deployed SmartVault by querying on-chain data
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
القائمة
Check the health and state of a deployed SmartVault by querying on-chain data
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
DeFi conventions, decimal handling, and protocol integration patterns used in this project. Load when working with token amounts, price conversions, or protocol interactions.
Run Solidity smart contract tests using Foundry forge
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)
Deploy smart vault contracts to a local Anvil fork
| name | check-vault-health |
| description | Check the health and state of a deployed SmartVault by querying on-chain data |
| disable-model-invocation | true |
| argument-hint | [vault-address] |
Check the health of a deployed SmartVault.
Steps:
Determine RPC URL and vault address:
$ARGUMENTS provides a vault address, use itconfig/vaults.production.json or .env.env (default: http://127.0.0.1:8545)Query vault state using cast call:
# Total assets (USDC)
cast call $VAULT "totalAssets()(uint256)" --rpc-url $RPC
# Position state
cast call $VAULT "getPositionState()((uint256,int24,int24,uint128,uint256,uint128,uint256,uint256))" --rpc-url $RPC
# Current delta (net ETH exposure, signed)
cast call $VAULT "getCurrentDelta()(int256)" --rpc-url $RPC
# Total value USD (18 decimals)
cast call $VAULT "getTotalValueUSD()(uint256)" --rpc-url $RPC
# Risk params
cast call $VAULT "riskParams()((uint256,uint256,uint256,uint256,uint256))" --rpc-url $RPC
# NAV snapshot (full breakdown)
cast call $VAULT "getNAVSnapshot()((uint256,uint256,uint256,uint256,uint256,uint256,uint256,uint256,int256,uint256,int256,uint256))" --rpc-url $RPC