Business Software for Solidity

x
View:
Open Source Commercial

Top Software that integrates with Solidity as of September 2026

Sort By:
Solidity Clear Filters

Compare business software, products, and services to find the best solution for your business or organization. Use the filters on the left to drill down by category, pricing, features, organization size, organization type, region, user reviews, integrations, and more. View and sort the products and solutions that match your needs in the results below.

  • 1
    Claude Fable 5.1
    Claude Fable 5.1 is Anthropic’s advanced AI model for coding, knowledge work, research, and long-running agentic tasks. It is designed to improve on Claude Fable 5 with stronger performance across software engineering, scientific research, multidisciplinary reasoning, computer use, business workflows, and complex problem solving. The model can handle extended multi-step work, verify its own results, diagnose difficult software issues, and operate effectively across tool-heavy workflows. Anthropic also reduced cache-read pricing for Fable 5.1, lowering typical usage costs compared with Fable 5 and creating larger savings for highly agentic workloads. Fable 5.1 includes updated safeguards intended to reduce false positives while allowing more legitimate cybersecurity tasks such as vulnerability discovery for defensive purposes. The model is available through Claude products, the Claude API, Amazon Web Services, Google Cloud, and Microsoft Azure.
    1 Rating
    Starting Price: $10 per 1M tokens (input)
    View Software
  • 2
    GPT-5.6 Sol
    GPT-5.6 Sol is a next-generation OpenAI model designed for advanced reasoning, coding, agentic workflows, biology analysis, cybersecurity support, and complex knowledge work. It is part of the GPT-5.6 model family alongside Terra and Luna, with Sol positioned as the flagship model for the most demanding tasks. The model introduces a new max reasoning effort for deeper thinking and an ultra mode that uses subagents to accelerate complex work beyond a single-agent approach. GPT-5.6 Sol shows strong performance in command-line coding workflows, long-horizon security tasks, genomics analysis, vulnerability research, debugging, patch development, and defensive testing. OpenAI pairs the model’s stronger capabilities with layered safeguards, real-time misuse classifiers, account-level review, automated red-teaming, and enterprise controls for sensitive workflows. GPT-5.6 Sol helps developers, enterprises, researchers, and security teams complete sophisticated technical work.
    1 Rating
    Starting Price: $4 per 1M tokens (input)
    View Software
  • 3
    Claude Mythos 5.1
    Claude Mythos 5.1 is Anthropic’s newest Mythos-class model, designed for advanced cybersecurity, biology, scientific research, coding, and long-running knowledge work. It is the same underlying model as Claude Fable 5.1 but uses different safeguards: Fable 5.1 is generally available, while Mythos 5.1 is restricted to trusted access programs with safeguards specifically designed for cybersecurity and life sciences research. The model sets a new performance frontier for agentic coding and demonstrates the strongest cyber capabilities of any Anthropic model released to date. In scientific research, Mythos 5.1 can work with specialized tools and complex workflows across molecular design, computational biology, and other technical domains. In Anthropic’s experiments, it designed high-affinity protein binders across multiple targets and achieved its strongest measured hit rate to date. It also optimized seven open-source protein and genomics deep learning models.
    View Software
  • 4
    Grok 4.6

    Grok 4.6

    SpaceXAI

    Grok 4.6 is an xAI model designed for long-running agents, ambitious interactive projects, visual work, coding, research, and knowledge workflows. The model builds on Grok 4.5 with stronger support for multi-step tasks that require sustained reasoning across codebases, information analysis, application development, and work artifact creation. Grok 4.6 can help turn broad product ideas into working first versions by researching domains, structuring applications, implementing core interactions, and refining results through feedback. It is trained across agentic tasks such as knowledge work, general coding, kernel optimization, web development, computer-aided design, and other technical environments. The model is available in Cursor, Grok Build, the xAI API, and partners such as OpenRouter, Vercel, and Cloudflare. Built for developers, builders, and teams working on complex projects, Grok 4.6 helps accelerate coding, agentic workflows, visual applications, and technical execution.
    1 Rating
    Starting Price: $2 per 1M tokens (input)
    View Software
  • 5
    Claude Opus 5

    Claude Opus 5

    Anthropic

    Claude Opus 5 is Anthropic’s advanced everyday AI model built for coding, knowledge work, problem-solving, visual outputs, and production AI workflows. The model delivers stronger performance than Opus 4.8 at the same base price and is positioned as a cost-effective alternative close to Claude Fable 5 frontier intelligence. Claude Opus 5 supports configurable effort settings so users can optimize for intelligence, speed, or token efficiency. It performs especially well on software engineering, automation, computer use, scientific research, and knowledge work evaluations. The model is available on Claude Max, Claude Pro, Claude API, Claude Code, and other Claude platforms, with Fast mode available at a higher price. Built for developers, researchers, enterprises, and everyday Claude users, Claude Opus 5 helps teams complete complex tasks with stronger verification, careful iteration, and practical cost efficiency.
    1 Rating
    Starting Price: $5 per 1M tokens (input)
    View Software
  • 6
    Grok 4.5

    Grok 4.5

    SpaceXAI

    Grok 4.5 is SpaceXAI’s advanced AI model built for coding, agentic tasks, engineering work, and knowledge-intensive productivity. The model is trained on coding, science, engineering, and math data, with reinforcement learning focused on multi-step software engineering and technical workflows. It is designed to handle real-world development tasks such as debugging, Rust and C/C++ work, terminal tasks, long-running agentic rollouts, and end-to-end app creation from a single prompt. Grok 4.5 is also built for fast serving, token efficiency, and lower-cost execution, with pricing based on input and output token usage. Beyond coding, the model supports business productivity tasks in Grok Build, including Excel modeling, PowerPoint diagram creation, Word writing, and research-assisted office workflows. Available through Grok Build, Cursor, and the SpaceXAI API console, Grok 4.5 gives developers and teams a high-performance model for building software, automating work, and more.
    1 Rating
    Starting Price: $2 per million input tokens
    View Software
  • 7
    Gemini 3.6 Flash
    Gemini 3.6 Flash is Google’s newest Flash model built for efficient, reliable, production-scale AI agents. The model improves on Gemini 3.5 Flash with stronger coding, knowledge work, multimodal performance, computer use, and agentic workflow execution. Gemini 3.6 Flash is designed to use fewer output tokens, take fewer reasoning steps, reduce unnecessary tool calls, and lower the cost of complex AI tasks. It supports document parsing, chart analysis, data analysis, report drafting, code migrations, visual understanding, and multi-agent orchestration. The model is available through the Gemini API, Google AI Studio, Android Studio, Google Antigravity, Gemini Enterprise Agent Platform, Gemini Enterprise app, and the Gemini app. Built for developers and enterprises, Gemini 3.6 Flash helps teams build faster, lower-cost, and more capable AI agents across coding, analysis, productivity, and multimodal workloads.
    1 Rating
    Starting Price: $1.50 per 1M tokens (input)
    View Software
  • 8
    Claude Sonnet 5
    Claude Sonnet 5 is Anthropic's latest AI model, designed to deliver stronger agentic capabilities for coding, reasoning, tool use, and knowledge work while maintaining the efficiency of the Sonnet family. The model can independently plan tasks, use external tools such as browsers and terminals, and complete complex workflows that previously required larger AI models. Sonnet 5 significantly improves upon Claude Sonnet 4.6 with better reasoning, coding performance, reduced hallucinations, stronger safety behavior, and more effective autonomous task execution. It is available across Claude plans and through the Claude API with OpenAI-style developer access for application integration. Anthropic also introduced lower introductory API pricing, making Sonnet 5 a cost-effective option for developers building AI-powered products. By combining advanced agentic capabilities with improved safety and competitive pricing, Claude Sonnet 5 helps developers build more capable AI applications.
    1 Rating
    Starting Price: $2 per 1M tokens (input)
    View Software
  • 9
    Gemini 3.7 Flash
    Gemini 3.7 Flash is Google’s most intelligent workhorse model yet for coding and agents, delivering substantial improvements across software engineering, knowledge work, web development, and complex business workflows. It shows stronger performance in debugging and issue resolution, higher first-pass code accuracy, and improved generation of production-ready code. For web development, the model creates more functional layouts and feature-complete applications in fewer prompts, with strong design adherence when working from screenshots, images, or complete design systems. In knowledge-dense fields such as finance, law, and biosciences, it provides improved reasoning, accuracy, and complex-document understanding. Gemini 3.7 Flash also performs more effectively on real-world workflow automation and multimodal tasks, supporting use cases ranging from interactive web experiences and data stories to robotics and dynamically generated 3D content.
    1 Rating
    Starting Price: $0.75 per 1M tokens (input)
    View Software
  • 10
    Kimi K3

    Kimi K3

    Moonshot AI

    Kimi K3 is Moonshot AI’s most capable model, built for frontier intelligence scenarios such as software engineering, knowledge work, deep reasoning, and multimodal understanding. The model has 2.8 trillion parameters and uses Kimi Delta Attention, a hybrid linear attention mechanism, along with Attention Residuals for long-context performance. Kimi K3 supports a 1 million token context window, making it useful for analyzing large codebases, long documents, complex knowledge bases, and multi-step workflows. It includes native visual understanding for images and videos, with support for structured message formats, base64 image input, uploaded video files, and multimodal reasoning. Developers can use Kimi K3 through an OpenAI-compatible API with support for streaming, structured JSON output, partial mode, custom tools, dynamic tool loading, and automatic context caching.
    1 Rating
    Starting Price: $3 per 1M tokens (input)
    View Software
  • 11
    GPT-5.6 Terra
    GPT-5.6 Terra is a balanced model in the GPT-5.6 series designed for everyday work, coding, agentic workflows, cybersecurity support, biology analysis, and enterprise automation. It sits between GPT-5.6 Sol, the flagship model, and GPT-5.6 Luna, the faster and lower-cost option. Terra is positioned to deliver competitive performance to GPT-5.5 while being significantly cheaper to run. The model supports improved reasoning, coding, tool coordination, long-horizon workflows, and legitimate defensive security work. It is part of a model family built with layered safeguards, including trained refusals, real-time misuse classifiers, account-level review, differentiated access, monitoring, and continued red-team testing. GPT-5.6 Terra helps developers, enterprises, and technical teams access strong AI capabilities with a more practical balance of intelligence, speed, and cost.
    1 Rating
    Starting Price: $2 per 1M tokens (input)
    View Software
  • 12
    Claude Mythos 5
    Claude Mythos 5 is Anthropic’s most advanced restricted-access AI model, designed for trusted cyberdefenders, infrastructure providers, and select research organizations. It uses the same underlying model as Claude Fable 5 but provides lifted safeguards in approved areas for specialized high-trust use cases. The model delivers exceptional capabilities in cybersecurity, software engineering, scientific research, long-context reasoning, vision, and autonomous task execution. Anthropic initially deployed Claude Mythos 5 through Project Glasswing in collaboration with the U.S. government to help protect critical software and infrastructure. The model also shows strong potential in life sciences, including protein design, molecular biology hypothesis generation, and genomics research. Claude Mythos 5 is built for organizations that need frontier AI capabilities under controlled, trusted-access conditions.
    1 Rating
    Starting Price: $10 per 1 million (input)
    View Software
  • 13
    GPT-5.6 Luna
    GPT-5.6 Luna is the fast and affordable model in OpenAI’s GPT-5.6 series, built to bring strong capability to users and developers who need practical intelligence with lower overhead. In the new GPT-5.6 naming system, the number identifies the model generation, while Sol, Terra, and Luna identify durable capability tiers that can advance on their own cadence, giving people and developers clearer choices across intelligence, speed, and cost. Luna sits alongside Sol, the flagship model, and Terra, the balanced model for everyday work, as part of a family designed for broader access to next-generation AI. During the limited preview, GPT-5.6 models are initially available through the API and Codex to a select group of trusted partners and organizations, with plans for broader availability in ChatGPT, Codex, and the API. OpenAI developed GPT-5.6 Sol, Terra, and Luna with its most robust safeguards to date, with configurations matched to each model’s capabilities.
    1 Rating
    Starting Price: $0.20 per 1M tokens (input)
    View Software
  • 14
    Claude Fable 5
    Claude Fable 5 is an advanced AI model from Anthropic designed to assist with software engineering, research, knowledge work, vision tasks, and complex reasoning. Built on the Mythos-class architecture, it delivers significantly improved performance across coding, analysis, and long-context workflows. The model can handle extended autonomous tasks while maintaining focus and consistency over large amounts of information. Claude Fable 5 integrates advanced reasoning, multimodal understanding, and memory capabilities to support professional and enterprise use cases. Anthropic has implemented specialized safeguards that automatically route certain high-risk cybersecurity, biology, chemistry, and model distillation requests to a different model. Claude Fable 5 helps organizations and professionals accelerate complex work while maintaining strong safety and governance controls.
    1 Rating
    Starting Price: $10 per 1 million (input)
    View Software
  • 15
    Gemini 3.5 Pro
    Gemini 3.5 Pro is Google’s anticipated next-generation Pro model in the Gemini 3.5 series, designed for advanced reasoning, coding, multimodal understanding, and agentic workflows. It is expected to build on Google’s Gemini 3 family with stronger performance for complex tasks that require planning, context handling, tool use, and deep problem solving. The model is aimed at users who need more power than faster Flash models for demanding development, research, automation, and enterprise AI use cases. Gemini 3.5 Pro is expected to support sophisticated workflows across text, code, files, multimodal inputs, and connected tools. Developers and organizations will likely use it through Google’s AI platforms for building assistants, agents, coding tools, analysis systems, and productivity applications. As an upcoming Pro-tier model, Gemini 3.5 Pro is positioned for high-value workloads where accuracy, reasoning quality, and advanced task execution matter more than maximum speed.
    View Software
  • 16
    Composer 2.5
    Composer 2.5 is the latest AI coding model released by Cursor, offering major improvements in intelligence, collaboration, and long-task performance compared to Composer 2. The model is designed to follow complex instructions more accurately while providing a smoother and more natural user experience during coding sessions. Cursor enhanced Composer 2.5 through larger-scale training, more advanced reinforcement learning environments, and improved behavioral tuning focused on communication and effort calibration. The model uses targeted reinforcement learning with textual feedback to correct specific mistakes during training, helping it avoid issues like invalid tool calls or poor coding behavior. Composer 2.5 was also trained using significantly more synthetic coding tasks, enabling it to handle increasingly difficult programming challenges and real-world development scenarios.
    1 Rating
    Starting Price: $0.50/M input
    View Software
  • 17
    Muse Spark 1.1
    Muse Spark 1.1 is a multimodal reasoning model from Meta Superintelligence Labs built for agentic tasks, coding, computer use, tool use, and multimodal understanding. The model improves on the original Muse Spark with stronger performance in planning, orchestration, long-context work, coding workflows, and external app interactions. Muse Spark 1.1 can manage a 1 million token context window, remember earlier actions, retrieve important information, compact context, and delegate tasks across parallel subagents. It is designed to operate across tools, MCP servers, custom skills, browsers, native apps, scripts, images, video, PDFs, and audio-based workflows. Developers can access Muse Spark 1.1 through the new Meta Model API public preview, while users can try it in Thinking mode in the Meta AI app and on meta.ai.
    1 Rating
    Starting Price: $1.25 per 1M tokens (input)
    View Software
  • 18
    Claude Opus 4.8
    Claude Opus 4.8 is a powerful AI model from Anthropic designed to deliver stronger coding, reasoning, agentic workflows, and advanced collaboration capabilities for developers, enterprises, and AI-powered productivity tasks. The model builds on Claude Opus 4.7 with improvements across coding benchmarks, practical knowledge work, alignment, and reliability while maintaining the same pricing structure. Claude Opus 4.8 introduces enhanced honesty and reasoning behavior, making it less likely to generate unsupported claims or overlook flaws during complex tasks such as software development and agent execution. The release also includes new features such as effort control settings, fast mode for lower-cost high-speed processing, and dynamic workflows in Claude Code that allow the system to coordinate hundreds of parallel subagents for large-scale tasks.
    1 Rating
    Starting Price: $5 per 1M (input)
    View Software
  • 19
    DeepSeek-V4-Pro
    DeepSeek-V4-Pro is a large-scale Mixture-of-Experts (MoE) language model designed for advanced reasoning, coding, and long-context understanding. It features 1.6 trillion total parameters with 49 billion activated parameters, enabling high performance while maintaining efficiency. The model supports an exceptionally large context window of up to one million tokens, allowing it to process extensive documents and workflows. It uses a hybrid attention architecture to optimize long-context performance and reduce computational cost. DeepSeek-V4-Pro is trained on over 32 trillion tokens, improving its knowledge and reasoning capabilities. It also includes advanced optimization techniques for stability and faster convergence during training. The model supports multiple reasoning modes, allowing users to balance speed and accuracy based on their needs. Overall, it provides a powerful open-source solution for complex AI tasks and large-scale applications.
    1 Rating
    Starting Price: $0.435 per 1M tokens (input)
    View Software
  • 20
    Muse Spark 1.2
    Muse Spark 1.2 is Meta’s coding-focused model update designed to power Muse Code and improve software engineering workflows. The model is built for code generation, complex debugging, codebase understanding, long-horizon development tasks, and end-to-end developer workflows. Muse Spark 1.2 was co-trained with Muse Code to improve performance inside the terminal coding agent environment. It supports planning, goal conditioning, context compaction, subagent coordination, and iterative coding workflows across large repositories. The model was trained with expanded coding compute, diverse development environments, self-improvement loops, and long-running engineering tasks. Built for AI developers and software teams, Muse Spark 1.2 helps agents plan, write, validate, debug, and optimize code with greater autonomy.
    1 Rating
    Starting Price: $1.25 per 1M tokens (input)
    View Software
  • 21
    Kimi K2.7 Code

    Kimi K2.7 Code

    Moonshot AI

    Kimi K2.7 Code is an open-source, coding-focused agentic AI model developed by Moonshot AI for long-horizon software engineering tasks. It is designed to improve coding performance, agent workflows, and real-world development assistance compared with earlier Kimi K2 versions. The model supports a 256K context window, making it useful for working with large codebases, long technical documents, and complex multi-step programming tasks. Kimi K2.7 Code is available through Kimi Code and API access, with OpenAI- and Anthropic-compatible options for easier integration into developer workflows. It is also listed on Hugging Face and supports deployment through inference engines such as vLLM, SGLang, and KTransformers. With improved agentic capabilities, long-context support, and reduced thinking-token usage compared with K2.6, Kimi K2.7 Code gives developers a flexible open-source option for AI-assisted coding.
    1 Rating
    Starting Price: Free
    View Software
  • 22
    Gemini 3.5 Flash
    Gemini 3.5 Flash is Google’s latest frontier AI model designed to combine advanced intelligence, high-speed performance, and agentic workflow execution for developers, enterprises, and everyday users. Built as part of the Gemini 3.5 family, the model excels at coding, long-horizon reasoning, multimodal understanding, and complex multi-step automation tasks while delivering significantly faster output speeds than many competing frontier models. Gemini 3.5 Flash powers AI agents capable of planning, executing, and managing workflows such as application development, codebase maintenance, data analysis, and financial document preparation through the Antigravity harness. The model also supports rich multimodal experiences by generating interactive graphics, dynamic web interfaces, animations, and advanced visual content. Gemini 3.5 Flash is integrated across Google products including the Gemini app, Google Search AI Mode, Google Antigravity, Google AI Studio, Android Studio, and more.
    1 Rating
    Starting Price: $1.50 per 1M tokens (input)
    View Software
  • 23
    Gemini 3.5 Flash Cyber
    Gemini 3.5 Flash Cyber is a specialized cyber-focused model built on Gemini 3.5 Flash and fine-tuned to find, validate, and fix cybersecurity vulnerabilities efficiently at scale. It is designed for defensive security workflows where organizations need to identify critical weaknesses faster and generate reliable patches before those issues can be exploited. Flash’s combination of performance and efficiency makes it a strong foundation for scanning code, reasoning about security flaws, validating whether findings are real, and proposing targeted remediations across large software environments. Within CodeMender, multiple Gemini 3.5 Flash Cyber agents work together and combine their findings into a single report, helping the system investigate vulnerabilities from different angles and improve the quality of the final result. This coordinated agent setup delivers competitive frontier performance on CyberGym, a benchmark for evaluating cybersecurity capabilities.
    View Software
  • 24
    SWE-1.7

    SWE-1.7

    Cognition

    SWE-1.7 is Cognition’s frontier software engineering model designed to deliver high intelligence at a lower rollout cost. The model is optimized for long-horizon agentic coding tasks, including debugging, feature implementation, codebase exploration, migrations, terminal workflows, and multilingual software engineering. SWE-1.7 was trained from a Kimi K2.7 base using large-scale reinforcement learning improvements across infrastructure, data quality, training stability, self-compaction, and long-running task execution. It is built to explore codebases thoroughly, probe edge cases, identify hidden requirements, and produce more complete end-to-end solutions. The model is available in Devin across web, desktop, and CLI through Cerebras at very high serving speeds. SWE-1.7 is positioned for developers and engineering teams that need cost-efficient frontier-level coding intelligence for complex real-world software work.
    1 Rating
    Starting Price: $20/month
    View Software
  • 25
    QuillAudits

    QuillAudits

    QuillAudits

    Revolutionizing security by launching custom AI agents and building a decentralized network of distributed intelligence. Transforming the security landscape by introducing a decentralized AI agent network built on EigenLayer AVS. Our AI agent instantly detects and fixes over 100 vulnerabilities in Solidity code. Helping developers to outsmart the hackers & plug the dollar drain. Our digital asset AI agent protects users from crypto fraud. Enabling the community to stay safe from rug pulls and honeypot tokens. Uncover honeypots, understand token permissions, and get comprehensive market insights. Shield yourself from rug pulls and scam tokens. Our state-of-the-art rug pull detection feature employs interactive charts and risk indicators, which makes it effortless for users to evaluate the safety of tokens on multiple chains through a comprehensive evaluation of token security, including market and code checks.
    1 Rating
    View Software
  • 26
    Solidity Debugger Pro

    Solidity Debugger Pro

    Solidity Debugger Pro

    Free & Open source. Cross-platform. Supports all EVM blockchains. Solidity Debugger Pro (sdbg) is a VS Code extension that adds feature-rich debugging capabilities for Solidity projects. It supports all EVM-compatible blockchains, allowing developers to easily debug smart contracts locally or on a forked node. Sdbg brings native debugging support for the popular Hardhat framework.
    Starting Price: Free
    View Software
  • 27
    Lapce

    Lapce

    Lapdev

    Lapce is a cutting-edge, open-source code editor focused on delivering a fast and responsive experience, particularly for developers working with large projects or complex codebases. Written in Rust, Lapce leverages the performance advantages of native development to provide a smooth editing experience with minimal lag. It features a clean, modern interface and advanced functionality such as multi-caret editing, split views, and integrated terminal support. With built-in support for the Language Server Protocol (LSP), Lapce offers precise autocompletion, syntax highlighting, and code navigation across various programming languages, enhancing productivity. Its extensibility, support for plugins, and focus on performance make Lapce ideal for developers looking for a lightweight yet powerful editor that balances simplicity with capability, appealing to both beginners and seasoned professionals.
    Starting Price: Free
    View Software
  • 28
    Refraction

    Refraction

    Refraction

    Refraction is a code-generation tool for developers. It uses AI to generate code for you. You can use it to generate unit tests, documentation, refactor code, and more. Generate code using AI in 34 languages — Assembly, C#, C++, CoffeeScript, CSS, Dart, Elixir, Erlang, Go, GraphQL, Groovy, Haskell, HTML, Java, JavaScript, Kotlin, LaTeX, Less, Lua, MatLab, Objective-C, OCaml, Perl, PHP, Python, R Lang, Ruby, Rust, Sass / SCSS, Scala, Shell, SQL, Swift, and TypeScript. Join thousands of developers around the world using Refraction to generate documentation, create unit tests, refactor code, and more using AI. Use the power of AI to automate the tedious parts of software development like testing, documentation, and refactoring, so you can focus on what matters. Refactor, optimize, fix and style-check your code. Generate unit tests for your code with various test frameworks. Explain the purpose of your code to make it easier to understand.
    Starting Price: $8 per month
    View Software
  • 29
    Betterscan.io

    Betterscan.io

    Betterscan.io

    Reduce MTTD & MTTR with full coverage within minutes of using. Full DevSecOps toolchain across your all environments, implementing and collecting evidence as part of your continuous security. Unified and de-duplicated across all the layers we orchestrate. One line to add several thousand checks + AI. It was built with security in mind, and we have avoided common security mistakes and pitfalls. Understands modern technologies. All are callable via REST API. Integrateable with CI/CD systems, lightweight and fast. You can self-host it for 100% code control and transparency, or run source available binary only in your own CI/CD. Use a source-available solution for complete control and transparency. Trivial setup, no software installation, compatible with many programming languages. Detects more than several thousand code and infrastructure issues and counting. You can review the issues, mark them as false positives, and collaborate on issues.
    Starting Price: €499 one-time payment
    View Software
  • 30
    Solidity Fuzzing Boilerplate
    Solidity Fuzzing Boilerplate is a template repository intended to ease fuzzing components of Solidity projects, especially libraries. Write tests once and run them with both Echidna and Foundry's fuzzing. Fuzz components that use incompatible Solidity versions by deploying those into a Ganache instance via Etheno. Use HEVM's FFI cheat code to generate complex fuzzing inputs or to compare outputs with non-EVM executables while doing differential fuzzing. Publish your fuzzing experiments without worrying about licensing by extending the shell script to download specific files. Turn off FFI if you don't intend to make use of shell commands from your Solidity contracts. Note that FFI is slow and should only be used as a workaround. It can be useful for testing against things that are difficult to implement within Solidity and already exist in other languages. Before executing tests of a project that has FFI enabled, be sure to check what commands are actually being executed.
    Starting Price: Free
    View Software
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB