external-precondition-audit
CommunityDetect external calls; assess precondition risks.
Software Engineering#audit#safety#smart-contract#dependency-upgrade#precondition#sui#external-package
AuthorPlamenTSV
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Detect external package function calls within a program and evaluate their preconditions and risks to prevent unsafe interactions.
Core Features & Use Cases
- Interface-Level Inference: derives required guarantees from external package signatures, including immutability considerations.
- Return-Value & State Analysis: evaluates potential failures from external calls, such as unexpected returns or state changes across epochs or upgrades.
- Package Upgrade Risk: assesses UpgradeCap status, upgrade policy, and mitigation strategies to pin or safely manage dependencies.
Quick Start
Analyze a Sui Move project by running the audit tool to identify external package calls and produce a risk report.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: external-precondition-audit Download link: https://github.com/PlamenTSV/plamen/archive/main.zip#external-precondition-audit Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.