48 packages matching “echidna”
echidna-coverage-parser
v1.0.1 · 1 year ago
Echidna log parser package
No known vulnerabilities
ga-echidna-coverage
v2.1.0 · 7 months ago
Enhanced Echidna coverage analysis with scope-based reporting, logical coverage, and smart filtering
No known vulnerabilities
echidnalink-lib
v1.0.24-dev.4 · 1 year ago
Library for connecting echidna boards with firmata to web application running in a web browser
No known vulnerabilities
@kryptosai/counterflow
v0.6.1 · 2 months ago
Prove the contract, or reveal the exploit — formal verification for Solidity and DeFi smart contracts. AI-translated invariants proved or refuted by Z3 SMT, with Halmos bytecode backstop and Foundry/Echidna export.
No known vulnerabilities
shaky-turquoise-echidna
v1.0.0 · 2 years ago
This is package shaky-turquoise-echidna
No known vulnerabilities
cute-fuchsia-echidna
v1.0.0 · 2 years ago
This is package cute-fuchsia-echidna
No known vulnerabilities
fluttering-coral-echidna
v1.0.0 · 2 years ago
This is package fluttering-coral-echidna
No known vulnerabilities
@echidna-spryker/rep-locator-extension
v1.0.0 · 3 years ago
Support/extension Package for Echidna RepLocator core module for spryker shops
No known vulnerabilities
prior-jade-echidna
v1.0.0 · 2 years ago
This is package prior-jade-echidna
No known vulnerabilities
combative-amber-echidna
v1.0.0 · 2 years ago
This is package combative-amber-echidna
No known vulnerabilities
@echidna-spryker/zed-assets-builder
v1.0.4 · 3 years ago
Echidna ZED assets builder tool based on spryker oryx
No known vulnerabilities
echidna-manifester
v0.1.0 · 11 years ago
Load a file you give to it (local or URL) and list all linked resources
No known vulnerabilities
@crytic/echidna
v0.0.6 · 4 years ago
Ethereum smart contract fuzzer
No known vulnerabilities
solhint-plugin-snevins-fuzzing
v0.2.0 · 3 months ago
Solhint rules for cross-harness fuzzing conventions (Echidna, Foundry, Halmos).
No known vulnerabilities
@echidna-spryker/image-zoom
v1.0.4 · 3 years ago
NPM package to add product image zoom functionality in spryker shops
No known vulnerabilities
echidna-ai-doc
v1.0.3 · 1 year ago
Generate comprehensive documentation for codebases using a local LLM.
No known vulnerabilities
@cryptoalgebra/integral-core
v1.2.10 · 1 month ago
Core smart contracts of Algebra Integral
No known vulnerabilities
@cryptoalgebra/integral-periphery
v1.2.5 · 1 month ago
Peripheral smart contracts of Algebra Integral protocol
No known vulnerabilities
geni-generator
v1.0.0 · 3 years ago
Geni is a builder tool that ease the writing of specifications of blockchain smart contracts. These specifications are required to run several auditing services like Foundry or Echidna.
No known vulnerabilities
@cryptoalgebra/integral-farming
v1.2.5 · 1 month ago
Liquidity mining contracts for Algebra Integral protocol
No known vulnerabilities