Dehinbo Isreal
Community@isreal916 · lagos/nigeria
software developer
Agent Skills by Dehinbo Isreal
Showing 10 vetted skills indexed across 1 GitHub repositories.
isreal916solidity-style
Applies Solidity style and safety conventions when writing or editing contract source files.
isreal916add-changeset
Creates changelog entries for pull requests using the changesets CLI.
isreal916testing
Guides writing Hardhat, Foundry, Halmos, and Certora tests for OpenZeppelin contracts.
isreal916library-api-design
Enforces API design rules for Solidity contracts in openzeppelin-contracts.
isreal916flare-smart-accounts
Encodes XRPL payment instructions for Flare Smart Accounts account abstraction workflows.
isreal916flare-general
Provides reference documentation for Flare network protocols, networks, and developer tooling.
isreal916flare-ftso
Provides integration guidance for consuming Flare Time Series Oracle price feeds onchain and offchain.
isreal916flare-fassets
Documents Flare FAssets minting, redemption, and contract integration flows for developers.
isreal916flare-fdc
Explains Flare Data Connector attestation types, proof workflows, and smart contract verification patterns.
isreal916flare-fcc
Explains building, registering, and deploying Flare Confidential Compute TEE extensions on Coston2.
Frequently Asked Questions About Dehinbo Isreal
FAQPage SchemaWhat tasks can I accomplish with Dehinbo Isreal's skills?▼
You can enforce Solidity style and safety conventions, design OpenZeppelin library APIs, write contract tests with Hardhat, Foundry, Halmos, and Certora, add PR changesets, and build on Flare protocols including FTSO price feeds, FAssets minting/redemption, FDC attestations, Smart Accounts, and TEE confidential extensions.
Who should use these Solidity and Flare skills?▼
Smart contract developers contributing to openzeppelin-contracts, and blockchain engineers building on Flare networks (Mainnet, Coston2, Songbird). They suit developers integrating oracle price feeds, wrapped FXRP/FBTC tokens, cross-chain data proofs, XRPL account abstraction, or confidential compute extensions.
What testing and verification methods are covered?▼
The testing skill covers Hardhat+Chai patterns (loadFixture, shouldBehaveLike, multi-target loops), hardhat-exposed $-wrappers, manual mocks, Foundry fuzz testing, Halmos symbolic execution, and Certora rule-based verification, plus the changeset rule for user-visible contract behavior changes.
What Flare protocols and networks are supported?▼
Coverage includes FTSO block-latency and Scaling anchor feeds, FDC attestation types (EVMTransaction, Web2Json, Payment, XRPPayment), FAssets minting/redemption with agents and collateral, Smart Accounts for XRPL users, and FCC/TEE. Networks span Mainnet, Coston2, Songbird, and Coston with RPC endpoints and faucets.
What are the prerequisites for using these skills?▼
You need a Solidity codebase with contracts under contracts/ for the style, API design, and testing skills, plus familiarity with Hardhat or Foundry. Flare skills require access to Flare networks, the smart-accounts CLI, and for FCC work, the fce-extension-scaffold and Confidential Space VMs.