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.
☆57Oct 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
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆29Jul 18, 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…☆49Sep 29, 2026Updated 2 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Geppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with au…☆21May 4, 2026Updated 5 months ago
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Apr 24, 2023Updated 3 years ago
- Full WASM Secure Threshold Signature ECDSA Library☆36Aug 6, 2023Updated 3 years ago
- Geppetto: Advanced bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with automate…☆188May 11, 2026Updated 5 months ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 2024Updated 2 years ago
- Various dominator tree algorithms☆25May 23, 2020Updated 6 years ago
- Algorand Pure Proof of Stake Decentralization Index☆14Updated this week
- Solutions for Solidity challenges in MetaTrust CTF September 2023.☆19Oct 1, 2023Updated 3 years ago
- Maintains all of the default policies for the Gradle organization☆15Oct 2, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- RemoteBridge is a library that allows you to access internal COM and JAVA objects used by third-party applications remotely.☆35Oct 11, 2017Updated 9 years ago
- Neuroengine is a service to share LLMs in the form of a webchat and API.☆45Oct 21, 2024Updated last year
- A mathematical foundation for Smalltalk-25☆21Updated this week
- Attacker Contract Identifier Through Static Dataflow Analysis☆25Oct 15, 2025Updated 11 months ago
- ☆41Nov 21, 2022Updated 3 years ago
- Simple bot visitor service for XSS challenges in CTF☆11Nov 9, 2022Updated 3 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆93Oct 3, 2024Updated 2 years ago
- EF/CF - Extremely Fast smart Contract Fuzzing☆70Jul 11, 2023Updated 3 years ago
- A CodeQL automation tool to execute code scanning.☆12Oct 16, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆11Jun 13, 2017Updated 9 years ago
- ☆28May 27, 2023Updated 3 years ago
- Python package for the computation of the Bipartite Configuration Model.☆22May 23, 2025Updated last year
- A wrapper for memory hacking related functions (WriteProcessMemory, ReadProcessMemory, etc) as well as a DLL injection function and patte…☆18May 29, 2020Updated 6 years ago
- Circom arithmetic circuits and concepts explained, in depth.☆31Jul 22, 2026Updated 2 months ago
- Synthesis of loop-free programs☆25Oct 6, 2026Updated last week
- CVE-2024-30056 Microsoft Edge (Chromium-based) Information Disclosure Vulnerability☆17May 27, 2024Updated 2 years ago
- Kendo Tournament Manager NG☆19Oct 3, 2026Updated last week
- Solidity grammar for tree sitter☆186Feb 11, 2026Updated 8 months 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.
- Extractable Witness Encryption for KZG Commitments☆33Nov 29, 2024Updated last year
- nxdomain subdomain enumeration☆10Jul 17, 2022Updated 4 years ago
- Kickstart your Algorand dApp in minutes. Full-stack TypeScript template with wallet connect, payments, NFT minting, token creation, and s…☆57Nov 17, 2025Updated 10 months ago
- EVM in python from scratch because why not☆11Aug 22, 2022Updated 4 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated 2 years ago
- ☆19Oct 2, 2022Updated 4 years ago
- MicroPython for ESP32 with psRAM support☆19Jun 13, 2025Updated last year