This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. By leveraging the foundational work done by the CodeQL team for Ruby, we have adapted and expanded their approach to create a powerful toolset for analyzing Solidity code.
☆55Oct 25, 2024Updated last year
Alternatives and similar repositories for CyScout
Users that are interested in CyScout are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16May 5, 2025Updated last year
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆29May 28, 2024Updated 2 years ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆46Nov 7, 2024Updated last year
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆48Apr 24, 2026Updated last month
- A list of public audit reports conducted by the CoinFabrik team.☆22Sep 24, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Clipboard Shield: Protection Defends Against Cyberthreats☆32Apr 5, 2025Updated last year
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Apr 24, 2023Updated 3 years ago
- Geppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with au…☆21May 4, 2026Updated last month
- Full WASM Secure Threshold Signature ECDSA Library☆36Aug 6, 2023Updated 2 years ago
- Geppetto: Advanced bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with automate…☆188May 11, 2026Updated last month
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- Various dominator tree algorithms☆25May 23, 2020Updated 6 years ago
- ☆21Oct 16, 2025Updated 7 months ago
- WinPcap packet filter implementation, with network statistics.☆30Jan 6, 2016Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Clarity fuzzer designed to cut through your smart contract's defenses with precision.☆19Jun 1, 2026Updated last week
- Solutions for Solidity challenges in MetaTrust CTF September 2023.☆19Oct 1, 2023Updated 2 years ago
- Maintains all of the default policies for the Gradle organization☆15Oct 2, 2024Updated last year
- Nix setup for Solana development☆24Nov 16, 2025Updated 6 months ago
- ☆20Apr 4, 2022Updated 4 years ago
- A mathematical foundation for Smalltalk-25☆20Updated this week
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- ☆40Nov 21, 2022Updated 3 years ago
- Attacker Contract Identifier Through Static Dataflow Analysis☆26Oct 15, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 2 years ago
- Simple bot visitor service for XSS challenges in CTF☆11Nov 9, 2022Updated 3 years ago
- Probably nothing☆36Feb 4, 2026Updated 4 months ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆94Oct 3, 2024Updated last year
- Proof of Humanity Protocol v2☆22May 7, 2026Updated last month
- ☆28May 27, 2023Updated 3 years ago
- A CodeQL automation tool to execute code scanning.☆12Oct 16, 2023Updated 2 years ago
- ☆11Apr 21, 2026Updated last month
- Applies ROME and MEMIT on Mamba-S4 models☆15Apr 5, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Kendo Tournament Manager NG☆15Jun 1, 2026Updated last week
- system to run repls in background, useful for ai automation☆20Jul 6, 2025Updated 11 months ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 3 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31May 26, 2025Updated last year
- Solidity grammar for tree sitter☆185Feb 11, 2026Updated 4 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated 10 months ago
- Extractable Witness Encryption for KZG Commitments☆33Nov 29, 2024Updated last year