GitHub
implementing-assertions
Phylax Credible Layer assertions implementation. Implements phylax/credible layer assertion contracts using cheatcodes, triggers, and event/state inspection.
☆ 0View skill
testing security smart contracts AI Skills
Discover testing security smart contracts skills, compare source repositories and read the instructions for each workflow.
Categories: testing security smart contracts
testing security smart contracts Clear filters
Browse skills
GitHub
backtesting-assertions
Phylax Credible Layer assertions backtesting. Runs assertion backtests against historical transactions. Use when validating phylax/credible layer assertions on real chain data or known exploits.
☆ 0View skill
GitHub
ouc-onchain
Use this skill when you need to query on-chain data from EVM or ICP. This includes: ERC-7546 Dictionary state, OUC canister state, auditor pools, proposals, and upgrade status. Provides helper functions for cas...
☆ 0View skill
GitHub
legal-compliance
Contract review and regulatory compliance for CEMAC/OHADA business law. Use when analyzing contracts, checking compliance, or answering legal questions about Central African regulations.
☆ 0View skill
GitHub
move-dev
Writing Move modules, testing, and deployment on Movement Network. Use for smart contract development. (project)
☆ 0View skill
GitHub
release-sanity
Aggregates all critical sanity checks required before a release, ensuring contracts, graphs, and logs are consistent.
☆ 0View skill
GitHub
schema-bump
Safely bumps contract schema versions following compatibility rules and updates related metadata.
☆ 0View skill
GitHub
contract-checker
Validates contract JSON Schemas and fixtures, fails fast on breaking format issues.
☆ 0View skill
GitHub
smart-contract-auditor
Security auditor for smart contracts - identifies vulnerabilities, logic flaws, reentrancy, access control issues, MEV/economic attacks, and oracle manipulation. Use when auditing Solidity, Vyper, or Rust/Ancho...
☆ 0View skill
GitHub
api-contracts
Sync API contracts between FastAPI backend and React frontend. Triggers on "sync api", "update contracts", "generate types", "оновити контракти", "згенерувати типи", or when backend schemas change.
☆ 0View skill
GitHub
contractbook
Manage contracts with Contractbook's automated contract lifecycle platform.
☆ 0View skill
GitHub
web-test-wallet-sign
Handle MetaMask signature and transaction popups during Web3 DApp testing - approve signatures, send transactions, call contracts. Detects popup type and handles gas errors.
☆ 0View skill
GitHub
web-test-wallet-setup
Set up MetaMask wallet extension for Web3 DApp testing - download extension, import wallet from private key. Run at test start if tests/config.yaml has web3.enabled=true.
☆ 0View skill
GitHub
web-test-research
Analyze ANY web project - detect if Web3 DApp, research dependencies via WebSearch, understand business functions from code AND UI screenshots, generate test requirements.
☆ 0View skill
GitHub
web-test-wallet-connect
Connect wallet to Web3 DApp - navigate to DApp, click Connect Wallet, approve in MetaMask popup, verify connection. Can be used as a test case or as a precondition for other tests.
☆ 0View skill
GitHub
guardrails-contracts
Follow these patterns when designing guardrails validation contracts in OptAIC. Use for signal bounds, dataset schemas, portfolio constraints, PIT validation, and other domain-specific validation rules. Covers...
☆ 0View skill
GitHub
pitfalls-blockchain
Blockchain RPC error handling, gas estimation, multi-chain config, and transaction management. Use when interacting with smart contracts, estimating gas, or managing transactions. Triggers on: RPC, contract cal...
☆ 0View skill
GitHub
semaphore-protocol
Comprehensive guide for integrating Semaphore V4 zero-knowledge protocol. Use when developing anonymous voting systems, privacy-preserving authentication, ZK proofs, smart contracts with group membership verifi...
☆ 0View skill
GitHub
create-contract
Generates a Shared Contract (Interface) and its implementation outline. Use when a module needs to expose data or behavior to other modules (e.g., "Create a contract for getting student GPA").
☆ 0View skill
GitHub
snark-testing
Test SNARK submissions with sample data. Use when testing proof submission, validating the API, verifying SNARK operations work correctly, or debugging proof handling.
☆ 0View skill
GitHub
testing
Test Midnight smart contracts using simulators and unit tests. Use when setting up test environments, writing contract tests, or debugging circuit behavior. Triggers on testing, simulator, unit test, or test fr...
☆ 0View skill
GitHub
dapp-integration
Build Midnight dApps with TypeScript integration, wallet connectivity, and contract deployment. Use when connecting wallets, deploying contracts, or building dApp frontends. Triggers on wallet, provider, Next.j...
☆ 0View skill
GitHub
compact
Write privacy-preserving smart contracts in Compact (Minokawa) for Midnight Network. Use when creating contracts, defining types, using standard library functions, or implementing ZK patterns. Triggers on Compa...
☆ 0View skill
GitHub
security
Security auditing patterns for Midnight Network smart contracts and dApps. Use when reviewing code for vulnerabilities, privacy leaks, cryptographic weaknesses, or performing security audits.
☆ 0View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.