{"result":{"version":2,"generatedAt":"2026-08-20T20:31:57.365Z","columnsMeta":[{"key":"slug","label":"Slug","icon":null,"description":null,"filter":null,"sorting":null,"pinning":null,"cellType":null,"valueKind":"string","itemKind":null,"nullable":false},{"key":"provider","label":"Provider","icon":"lucide:Unplug","description":"Service provider (company/organization).","filter":"searchableMultiSelect","sorting":"string","pinning":"left","cellType":"provider","valueKind":"string","itemKind":null,"nullable":false},{"key":"offer","label":"Offer","icon":"lucide:Unplug","description":"Optional custom offer name; leave blank to use auto-generated Chain.Love slug conventions.","filter":null,"sorting":null,"pinning":"left","cellType":null,"valueKind":"string","itemKind":null,"nullable":true},{"key":"actionButtons","label":"Actions","icon":"lucide:Navigation","description":"External links/actions.","filter":null,"sorting":null,"pinning":"left","cellType":"actionButtons","valueKind":"array","itemKind":"string","nullable":true},{"key":"tag","label":"Tags","icon":"lucide:Tags","description":"Tags list.","filter":"searchableMultiSelect","sorting":"arrayLength","pinning":null,"cellType":"tagsPopover","valueKind":"array","itemKind":"string","nullable":true},{"key":"description","label":"Description","icon":"lucide:MessageSquareText","description":"Description text.","filter":null,"sorting":"string","pinning":null,"cellType":"description","valueKind":"string","itemKind":null,"nullable":true},{"key":"planType","label":"Plan","icon":"plan.svg||lucide:ClipboardList","description":"Plan type.","filter":"searchableMultiSelect","sorting":"string","pinning":null,"cellType":"planType","valueKind":"string","itemKind":null,"nullable":false},{"key":"planName","label":"Plan Name","icon":"plan.svg||lucide:BookMarked","description":"Plan name.","filter":"searchableMultiSelect","sorting":"string","pinning":null,"cellType":null,"valueKind":"string","itemKind":null,"nullable":true},{"key":"price","label":"Price","icon":"lucide:BadgeDollarSign","description":"Price/cost.","filter":"range","sorting":"number","pinning":null,"cellType":"numericRange","valueKind":"string","itemKind":null,"nullable":true},{"key":"trial","label":"Trial","icon":"trial.svg||lucide:Clock","description":"Trial availability.","filter":"select","sorting":"boolean","pinning":null,"cellType":null,"valueKind":"boolean","itemKind":null,"nullable":false},{"key":"starred","label":"Starred","icon":null,"description":null,"filter":null,"sorting":"boolean","pinning":null,"cellType":null,"valueKind":"boolean","itemKind":null,"nullable":false},{"key":"toolType","label":"Tool Type","icon":"lucide:Wrench","description":"Tool type.","filter":"searchableMultiSelect","sorting":"string","pinning":null,"cellType":null,"valueKind":"string","itemKind":null,"nullable":false},{"key":"deliveryType","label":"Delivery Type","icon":"lucide:Truck","description":"Delivery or fulfillment type.","filter":"select","sorting":"string","pinning":null,"cellType":null,"valueKind":"string","itemKind":null,"nullable":false},{"key":"executionEnvironment","label":"Execution Environment","icon":"lucide:Cpu","description":"Runtime or execution environment.","filter":"select","sorting":"string","pinning":null,"cellType":null,"valueKind":"string","itemKind":null,"nullable":true},{"key":"coverage","label":"Coverage","icon":"lucide:Map","description":"Geographic or service coverage.","filter":"searchableMultiSelect","sorting":"arrayLength","pinning":null,"cellType":"arrayPopover","valueKind":"array","itemKind":"string","nullable":false},{"key":"compliance","label":"Compliance","icon":"lucide:BadgeCheck","description":"Compliance certifications or regimes.","filter":"searchableMultiSelect","sorting":"arrayLength","pinning":null,"cellType":"arrayPopover","valueKind":"array","itemKind":"string","nullable":true}],"rows":[{"network":"filecoin","slug":"audit-base-pay-as-you-go","provider":"AuditBase","offer":null,"actionButtons":["[Website](https://www.auditbase.com/pricing)"],"tag":["Smart Contract Audit","Web3 Security","Blockchain security","Solidity Audit","Vulnerability Scanner"],"description":"AuditBase is a smart contract audit tool offering three-layer automated analysis (static analysis, symbolic execution, AI reasoning) with compliance-ready output. Trusted by institutional teams managing $50B+ in digital assets across 500+ protocols. Provides quantified risk scores, MiCA documentation, and SOC 2 compliance.","planType":"Pay-as-you-go","planName":null,"price":"$1/credit","trial":0,"starred":0,"toolType":"Audit","deliveryType":"Web App","executionEnvironment":"Solidity, Move, Cairo, Vyper, Rust","coverage":["Static Analysis","Symbolic Execution","AI Reasoning","Automated Smart Contract Scanning","Pre-Deployment Analysis","Compliance Reporting"],"compliance":["SOC 2","MiCA"]},{"network":"filecoin","slug":"audit-base-pro","provider":"AuditBase","offer":null,"actionButtons":["[Website](https://www.auditbase.com/pricing)"],"tag":["Smart Contract Audit","Web3 Security","Blockchain security","Solidity Audit","Vulnerability Scanner"],"description":"AuditBase is a smart contract audit tool offering three-layer automated analysis (static analysis, symbolic execution, AI reasoning) with compliance-ready output. Trusted by institutional teams managing $50B+ in digital assets across 500+ protocols. Provides quantified risk scores, MiCA documentation, and SOC 2 compliance.","planType":"Tiered","planName":"Pro","price":"$149/mo","trial":0,"starred":0,"toolType":"Audit","deliveryType":"Web App","executionEnvironment":"Solidity, Move, Cairo, Vyper, Rust","coverage":["Static Analysis","Symbolic Execution","AI Reasoning","Automated Smart Contract Scanning","Pre-Deployment Analysis","Compliance Reporting","Continuous Monitoring","Real-time Alerts"],"compliance":["SOC 2","MiCA"]},{"network":"filecoin","slug":"audit-base-starter","provider":"AuditBase","offer":null,"actionButtons":["[Website](https://www.auditbase.com/pricing)"],"tag":["Smart Contract Audit","Web3 Security","Blockchain security","Solidity Audit","Vulnerability Scanner"],"description":"AuditBase is a smart contract audit tool offering three-layer automated analysis (static analysis, symbolic execution, AI reasoning) with compliance-ready output. Trusted by institutional teams managing $50B+ in digital assets across 500+ protocols. Provides quantified risk scores, MiCA documentation, and SOC 2 compliance.","planType":"Tiered","planName":"Starter","price":"$49/mo","trial":0,"starred":0,"toolType":"Audit","deliveryType":"Web App","executionEnvironment":"Solidity, Move, Cairo, Vyper, Rust","coverage":["Static Analysis","Symbolic Execution","AI Reasoning","Automated Smart Contract Scanning","Pre-Deployment Analysis","Compliance Reporting"],"compliance":["SOC 2","MiCA"]},{"network":"filecoin","slug":"audit-base-team","provider":"AuditBase","offer":null,"actionButtons":["[Website](https://www.auditbase.com/pricing)"],"tag":["Smart Contract Audit","Web3 Security","Blockchain security","Solidity Audit","Vulnerability Scanner"],"description":"AuditBase is a smart contract audit tool offering three-layer automated analysis (static analysis, symbolic execution, AI reasoning) with compliance-ready output. Trusted by institutional teams managing $50B+ in digital assets across 500+ protocols. Provides quantified risk scores, MiCA documentation, and SOC 2 compliance.","planType":"Tiered","planName":"Team","price":"$399/mo","trial":0,"starred":0,"toolType":"Audit","deliveryType":"Web App","executionEnvironment":"Solidity, Move, Cairo, Vyper, Rust","coverage":["Static Analysis","Symbolic Execution","AI Reasoning","Automated Smart Contract Scanning","Pre-Deployment Analysis","Compliance Reporting","Continuous Monitoring","Real-time Alerts","Team Collaboration"],"compliance":["SOC 2","MiCA"]},{"network":"filecoin","slug":"certora-gambit","provider":"Certora","offer":"Gambit","actionButtons":["[GitHub](https://github.com/Certora/gambit)","[Docs](https://docs.certora.com/en/latest/docs/gambit/index.html)"],"tag":["Smart contract security","Mutation testing","Test-suite quality","Open source"],"description":"Open-source Solidity mutation-testing tool that generates mutants to measure how effectively tests and formal specifications detect injected faults.","planType":"Free","planName":null,"price":"$0","trial":0,"starred":0,"toolType":"smart contract security","deliveryType":"CLI","executionEnvironment":"EVM (Solidity)","coverage":["smart contracts","test suites","formal specifications"],"compliance":null},{"network":"filecoin","slug":"certora-prover-basic","provider":"Certora","offer":"Certora Prover","actionButtons":["[Website](https://www.certora.com/prover)","[Docs](https://docs.certora.com/en/latest/)"],"tag":["Smart contract security","Formal verification","Specification language","Continuous verification"],"description":"Formal verification tool that proves smart contracts satisfy specified properties and reports counterexamples when a property can be violated.","planType":"Free","planName":"Basic","price":"$0","trial":0,"starred":0,"toolType":"Formal verification","deliveryType":"CLI, Web app","executionEnvironment":"EVM, SVM, WASM","coverage":["smart contracts","invariants","rule-based specifications"],"compliance":null},{"network":"filecoin","slug":"certora-prover-enterprise","provider":"Certora","offer":"Certora Prover","actionButtons":["[Contact](https://www.certora.com/signup?plan=enterprise)","[Docs](https://docs.certora.com/en/latest/)"],"tag":["Smart contract security","Formal verification","Specification language","Continuous verification"],"description":"Formal verification tool with enterprise security support, including formal verification, expert-authored rules, training, and incident-response services.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Formal verification","deliveryType":"CLI, Web app","executionEnvironment":"EVM, SVM, WASM","coverage":["smart contracts","invariants","rule-based specifications"],"compliance":null},{"network":"filecoin","slug":"certora-prover-premium","provider":"Certora","offer":"Certora Prover","actionButtons":["[Contact](https://www.certora.com/signup?plan=premium)","[Docs](https://docs.certora.com/en/latest/)"],"tag":["Smart contract security","Formal verification","Specification language","Continuous verification"],"description":"Formal verification tool that proves smart contracts satisfy specified properties and reports counterexamples when a property can be violated.","planType":"Enterprise","planName":"Premium","price":"Custom","trial":0,"starred":0,"toolType":"Formal verification","deliveryType":"CLI, Web app","executionEnvironment":"EVM, SVM, WASM","coverage":["smart contracts","invariants","rule-based specifications"],"compliance":null},{"network":"filecoin","slug":"mythril","provider":"ConsenSys","offer":"Mythril","actionButtons":["[GitHub](https://github.com/ConsenSysDiligence/mythril)"],"tag":["Smart contract security","Symbolic execution","Vulnerability detection","Open source"],"description":"Open-source symbolic-execution security analysis tool for EVM bytecode that detects vulnerabilities in Ethereum and other EVM-compatible smart contracts.","planType":"Free","planName":null,"price":"$0","trial":0,"starred":0,"toolType":"Symbolic analyzer","deliveryType":"CLI","executionEnvironment":"EVM","coverage":["smart contracts"],"compliance":null},{"network":"filecoin","slug":"consensys-diligence-pro-builder","provider":"ConsenSys","offer":null,"actionButtons":["[Website](https://diligence.security/)"],"tag":["Smart Contract Audits","Automated Security Analysis","Smart Contract Testing","Automatic Property Checking","Threat Modeling"],"description":"It is comprehensive smart contract audit service that helps everyone from startups to enterprises launch and maintain their Ethereum blockchain applications","planType":"Enterprise","planName":"Pro Builder","price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"Web app","executionEnvironment":"EVM","coverage":["smart contracts"],"compliance":null},{"network":"filecoin","slug":"hacken-smart-contract-audit","provider":"Hacken","offer":null,"actionButtons":["[Website](https://hacken.io/services/blockchain-security/smart-contract-security-audit/)"],"tag":["Web3 Security","Smart Contract Audits","Code Review"],"description":"Rigorous smart contract auditing service combining manual review and automated analysis to secure decentralized applications.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"TBD","executionEnvironment":"EVM","coverage":["smart contracts"],"compliance":["ISO 27001","SOC 2"]},{"network":"filecoin","slug":"hacken-penetration-testing","provider":"Hacken","offer":null,"actionButtons":["[Website](https://hacken.io/services/penetrationtesting/)"],"tag":["Web3 Security","Penetration Testing","Ethical Hacking"],"description":"Advanced penetration testing services for dApps, wallets, and exchanges to identify vulnerabilities before malicious actors do.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Penetration Testing","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["dApps","wallets","exchanges"],"compliance":["ISO 27001"]},{"network":"filecoin","slug":"hacken-proof-of-reserves-audit","provider":"Hacken","offer":null,"actionButtons":["[Website](https://hacken.io/services/proof-of-reserves-audit/)"],"tag":["Web3 Security","Proof of Reserves","Financial Audit"],"description":"Independent verification of digital assets held by exchanges and custodians to ensure transparency and solvency.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["exchanges","custodians"],"compliance":["ISO 27001"]},{"network":"filecoin","slug":"hacken-tokenomics-audit","provider":"Hacken","offer":null,"actionButtons":["[Website](https://hacken.io/services/tokenomics-audit/)"],"tag":["Web3 Security","Tokenomics","Economic Design"],"description":"Comprehensive analysis of token economic models to prevent systemic risks, inflation vulnerabilities, and economic exploits.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["tokenomics"],"compliance":["TBD"]},{"network":"filecoin","slug":"halborn-ai-red-teaming","provider":"Halborn","offer":"AI Red Teaming","actionButtons":["[Website](https://www.halborn.com/solutions/ai-red-teaming)"],"tag":["AI Security","Red Teaming","Adversarial Testing"],"description":"Adversarial simulation targeting AI systems to uncover edge cases, prompt injection flaws, and model bypass vulnerabilities.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Penetration Testing","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["ai models","llms"],"compliance":["TBD"]},{"network":"filecoin","slug":"halborn-ai-security-assessment","provider":"Halborn","offer":"AI Security Assessment","actionButtons":["[Website](https://www.halborn.com/solutions/ai-security-assessment)"],"tag":["AI Security","LLM Security","Threat Modeling"],"description":"Comprehensive security assessment for AI models, evaluating vulnerabilities in machine learning deployments and LLM integrations.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"AI Security","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["ai models","llms"],"compliance":["TBD"]},{"network":"filecoin","slug":"halborn-cloud-infrastructure-penetration-testing","provider":"Halborn","offer":"Cloud Infrastructure Penetration Testing","actionButtons":["[Website](https://www.halborn.com/solutions/cloud-infrastructure-penetration-testing)"],"tag":["Cloud Security","Infrastructure Security","Penetration Testing"],"description":"Security testing of cloud infrastructure environments to detect misconfigurations, IAM flaws, and architectural vulnerabilities.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Penetration Testing","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["cloud infrastructure"],"compliance":["TBD"]},{"network":"filecoin","slug":"halborn-code-security-audit","provider":"Halborn","offer":"Code Security Audit","actionButtons":["[Website](https://www.halborn.com/solutions/code-security-audit)"],"tag":["Code Review","Static Analysis","Secure SDLC"],"description":"Thorough review of application source code to identify structural vulnerabilities and ensure best security practices.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["source code"],"compliance":["TBD"]},{"network":"filecoin","slug":"halborn-red-team-exercises","provider":"Halborn","offer":"Red Team Exercises","actionButtons":["[Website](https://www.halborn.com/solutions/red-team-exercises)"],"tag":["Red Teaming","Adversarial Simulation","Offensive Security"],"description":"Full-scale adversarial simulations that test an organization's detection capabilities, response protocols, and overall security posture.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Penetration Testing","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["organizational security","infrastructure"],"compliance":["TBD"]},{"network":"filecoin","slug":"halborn-web-application-penetration-testing","provider":"Halborn","offer":"Web Application Penetration Testing","actionButtons":["[Website](https://www.halborn.com/solutions/web-application-penetration-testing)"],"tag":["Penetration Testing","Web App Security","Ethical Hacking"],"description":"Simulated cyber attacks on web applications to identify and exploit security weaknesses before malicious actors do.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Penetration Testing","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["web applications"],"compliance":["TBD"]},{"network":"filecoin","slug":"kudelski-smart-contract-secure-code-review","provider":"Kudelski Security","offer":"Smart Contract Secure Code Review","actionButtons":["[Reports](https://kudelskisecurity.com/blockchain)"],"tag":["Smart Contract Audits","Secure Code Review"],"description":"Manual secure code review of smart contracts to identify implementation vulnerabilities and provide remediation guidance.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"Service","executionEnvironment":"FEVM, Solidity","coverage":["smart contracts"],"compliance":null},{"network":"filecoin","slug":"kudelski-blockchain-security-assessment","provider":"Kudelski Security","offer":"Blockchain Security Assessment","actionButtons":["[Website](https://kudelskisecurity.com/services/ai-emerging-technology/blockchain-security-assessment)"],"tag":["Blockchain Security","Risk Assessment"],"description":"Comprehensive assessment of blockchain protocols, architecture, integrations, cryptographic code, nodes, and supporting infrastructure.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"Service","executionEnvironment":null,"coverage":["blockchain protocols","smart contracts","nodes","infrastructure"],"compliance":["OWASP","NIST","MITRE ATT&CK"]},{"network":"filecoin","slug":"kudelski-cryptographic-secure-code-review","provider":"Kudelski Security","offer":"Cryptographic Secure Code Review","actionButtons":["[Reports](https://kudelskisecurity.com/blockchain)"],"tag":["Cryptography","Secure Code Review"],"description":"Expert review of cryptographic implementations, including threshold-signature and zero-knowledge systems, to identify design and implementation flaws.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"Service","executionEnvironment":null,"coverage":["cryptographic implementations"],"compliance":null},{"network":"filecoin","slug":"kudelski-mobile-application-assessment","provider":"Kudelski Security","offer":"Mobile Application Assessment","actionButtons":["[Reports](https://kudelskisecurity.com/blockchain)"],"tag":["Mobile Security","Application Security"],"description":"Security assessment of blockchain-related mobile applications using source-code review and penetration testing.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"Service","executionEnvironment":null,"coverage":["mobile applications","wallets"],"compliance":null},{"network":"filecoin","slug":"kudelski-threat-modeling","provider":"Kudelski Security","offer":"Threat Modeling","actionButtons":["[Reports](https://kudelskisecurity.com/blockchain)"],"tag":["Threat Modeling","Risk Analysis"],"description":"Structured threat modeling of blockchain systems to identify assets, attack surfaces, likely threats, and appropriate mitigations.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Threat Modeling","deliveryType":"Service","executionEnvironment":null,"coverage":["blockchain protocols","dapps"],"compliance":null},{"network":"filecoin","slug":"salus-audit","provider":"Salus Security","offer":null,"actionButtons":["[Website](https://salusec.io/audit)"],"tag":["Web3 Security","Smart Contract Audits","Code Review"],"description":"Comprehensive smart contract auditing services to identify vulnerabilities and ensure the security of decentralized applications.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["smart contracts","dApps"],"compliance":null},{"network":"filecoin","slug":"salus-penetration-testing","provider":"Salus Security","offer":null,"actionButtons":["[Website](https://salusec.io/penetration-testing)"],"tag":["Web3 Security","Penetration Testing","Ethical Hacking"],"description":"Advanced penetration testing to simulate real-world cyber attacks and uncover vulnerabilities in Web3 infrastructure and applications.","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Penetration Testing","deliveryType":"TBD","executionEnvironment":"TBD","coverage":["infrastructure","dApps","wallets"],"compliance":null},{"network":"filecoin","slug":"solidityscan-on-demand","provider":"SolidityScan","offer":null,"actionButtons":["[Buy](https://solidityscan.com/pricing)","[Docs](https://docs.solidityscan.com/)"],"tag":["Web3 Security","Smart Contract Scanner","Automated Auditing","Vulnerability Detection"],"description":"It is an automated smart contract vulnerability scanner that helps developers identify security flaws and provides remediation solutions in seconds","planType":"Pay-as-you-go","planName":"On Demand","price":"$29.99","trial":1,"starred":0,"toolType":"Scanner","deliveryType":"Cloud-based platform","executionEnvironment":"Solidity","coverage":["smart contracts"],"compliance":["SOC 2"]},{"network":"filecoin","slug":"solidityscan-pro","provider":"SolidityScan","offer":null,"actionButtons":["[Buy](https://solidityscan.com/pricing)","[Docs](https://docs.solidityscan.com/)"],"tag":["Web3 Security","Smart Contract Scanner","Automated Auditing","Vulnerability Detection"],"description":"It is an automated smart contract vulnerability scanner that helps developers identify security flaws and provides remediation solutions in seconds","planType":"Tiered","planName":"Pro","price":"$499.99/mo","trial":1,"starred":0,"toolType":"Scanner","deliveryType":"Cloud-based platform","executionEnvironment":"Solidity","coverage":["smart contracts"],"compliance":["SOC 2"]},{"network":"filecoin","slug":"solidityscan-starter","provider":"SolidityScan","offer":null,"actionButtons":["[Buy](https://solidityscan.com/pricing)","[Docs](https://docs.solidityscan.com/)"],"tag":["Web3 Security","Smart Contract Scanner","Automated Auditing","Vulnerability Detection"],"description":"It is an automated smart contract vulnerability scanner that helps developers identify security flaws and provides remediation solutions in seconds","planType":"Tiered","planName":"Individual","price":"$199.99/mo","trial":1,"starred":0,"toolType":"Scanner","deliveryType":"Cloud-based platform","executionEnvironment":"Solidity","coverage":["smart contracts"],"compliance":["SOC 2"]},{"network":"filecoin","slug":"solidityscan-enterprise","provider":"SolidityScan","offer":null,"actionButtons":["[Contact](https://solidityscan.com/pricing)","[Docs](https://docs.solidityscan.com/)"],"tag":["Web3 Security","Smart Contract Scanner","Automated Auditing","Vulnerability Detection"],"description":"It is an automated smart contract vulnerability scanner that helps developers identify security flaws and provides remediation solutions in seconds","planType":"Enterprise","planName":null,"price":"Custom","trial":1,"starred":0,"toolType":"Scanner","deliveryType":"Cloud-based platform","executionEnvironment":"Solidity","coverage":["smart contracts"],"compliance":["SOC 2"]},{"network":"filecoin","slug":"medusa","provider":"Trail of Bits","offer":"Medusa","actionButtons":["[Docs](https://secure-contracts.com/program-analysis/medusa/docs/src/index.html)","[GitHub](https://github.com/crytic/medusa)"],"tag":["Smart contract security","Fuzzing","Property testing","Open source"],"description":"Open-source go-ethereum-based coverage-guided smart contract fuzzer for property and invariant testing.","planType":"Free","planName":null,"price":"$0","trial":0,"starred":0,"toolType":"Fuzzer","deliveryType":"CLI","executionEnvironment":"EVM","coverage":["smart contracts"],"compliance":null},{"network":"filecoin","slug":"slither","provider":"Trail of Bits","offer":"Slither","actionButtons":["[Docs](https://github.com/crytic/slither/wiki)","[GitHub](https://github.com/crytic/slither)"],"tag":["Smart contract security","Static analysis","Custom analyses","Open source"],"description":"Open-source static analysis framework for Solidity and Vyper with vulnerability detectors and APIs for custom analyses.","planType":"Free","planName":null,"price":"$0","trial":0,"starred":0,"toolType":"Static analyzer","deliveryType":"CLI","executionEnvironment":"Solidity, Vyper","coverage":["smart contracts"],"compliance":null},{"network":"filecoin","slug":"abdk","provider":"ABDK","offer":null,"actionButtons":["[Website](https://abdk.consulting/portfolio)"],"tag":["Blockchain Consulting","Crypto Consulting","Smart Contract Audit","Security Audit"],"description":"Founded in 2016, ABDK is a top Web3 security provider specializing in smart contract audits and zero-knowledge circuit audits. They have audited DeFi protocols, crafted Solidity libraries, and consulted dozens of clients","planType":"Enterprise","planName":null,"price":"Custom","trial":0,"starred":0,"toolType":"Audits","deliveryType":"Web app","executionEnvironment":"EVM (Solidity), Rust, ZK","coverage":["smart contracts","DeFi protocols","zero knowledge circuits","cryptographic schemes and protocols"],"compliance":null}],"pagination":{"mode":"group","page":1,"pageSize":10,"totalPages":4,"totalProviders":32,"totalOffers":56}}}