Audit ZKP2P smart contracts with differential invariant analysis against canonical main baselines.
npx skills add https://github.com/zkp2p/zkp2p-contracts --skill audit-zkp2p
Please help me install this Agent Skill. Skill: audit Source: https://github.com/zkp2p/zkp2p-contracts/tree/main/.claude/skills/audit Command: npx skills add https://github.com/zkp2p/zkp2p-contracts --skill audit-zkp2p
This Skill addresses the complexity of auditing evolving smart contract systems by providing a structured, invariant-based framework for security reviews, differential analysis, and V2-to-V3 parity verification.
Use the audit skill to perform a full security review of the current branch against the canonical main repository.
High-intent search queries and answers about installing and using this skill.
To perform a differential smart contract audit, compare your current branch changes against a canonical main baseline to identify regressions or new vulnerabilities. This process ensures evolving contract updates do not compromise existing security boundaries.
Invariant testing for smart contracts systematically verifies critical security boundaries like authorization, settlement, and replay protection. You need it when reviewing evolving contract systems to ensure core protocol guarantees remain intact during updates.
To verify V2 to V3 smart contract lifecycle parity, execute V3 lifecycle parity checks against canonical baselines. This ensures new V3 implementations maintain required security guarantees and behavioral consistency with previous V2 versions.
Yes, you need Git-based repository access and Foundry-compatible testing environments to run invariant analysis. These dependencies are required to validate authorization, settlement, and reentrancy boundaries during comprehensive security reviews.
Yes, you can use the audit framework for pull request validation on ZKP2P smart contracts. It performs differential analysis against the canonical main repository to detect regressions and verify invariant boundaries before merging.
andginjaWrite unit, fuzz, fork, and invariant tests for Solidity contracts using Foundry.
ArianHobson333Identify and validate reentrancy vulnerabilities in smart contracts.
tenequmBuild and test Solidity smart contracts using Foundry tooling.
PurpleAILABAnalyze project documentation to extract invariants and map trust assumptions.
