Olympix: Per-commit Solidity security with symbolic execution, fuzzing, mutation testing and AI
================================================================================

Olympix is a commercial CI tool for Solidity that combines an intermediate representation, custom detectors, symbolic execution, fuzzing and mutation testing with AI, producing executable proofs of concept on every commit.

Maintainer: Olympix
Website: https://olympix.security
Category: Smart-contract AI auditors
Targets: Solidity
Approach: IR and custom detectors, symbolic execution, fuzzing, mutation testing plus AI, with executable PoCs, run per commit
Access: Commercial CI tool
Status: Active (founded 2022)
Strengths: Executable PoCs. | Per-commit. | Multiple analysis engines.
Limits: Solidity only. | Commercial, limited public benchmarks.
Firms using it: none listed
Sources: https://olympix.security

Source page: https://agentsast.com/tools/olympix/
Compiled by: agentsast editors (https://agentsast.com/about/)
Last reviewed: 2026-09-13