Skip to content

@RektifyAI Rektify AI

Change the repository type filter

All

    Repositories list

    25 repositories

    • attack-playbook

      Public
      Defines all benign, moderate, and malicious attacks deployed on crypto projects.
      hackattackexploitblockchaindefi
      7•3•0•0•Updated May 7, 2024May 7, 2024

    • adv-attack-analysis

      Public
      Deep learning and data analysis repo, uncovering the latest neural network applications on blockchain attacks
      pythonattackedarektdefi
      Jupyter Notebook
      •0•0•0•0•Updated Apr 12, 2024Apr 12, 2024

    • vite

      Public
      Next generation frontend tooling. It's fast!
      TypeScript
      •
      MIT License
      •6.5k•0•0•0•Updated Feb 9, 2024Feb 9, 2024

    • auditing-demystified

      Public
      A compendium of smart contract auditing resources for beginners
      6•35•0•0•Updated Nov 27, 2023Nov 27, 2023

    • rektify-ai

      Public
      Code analysis tool powered by machine learning to ensure optimal security of smart contracts
      smart-contractscode-analysisrisk-assessment
      Jupyter Notebook
      •0•3•0•0•Updated Sep 13, 2023Sep 13, 2023

    • echidna

      Public
      Ethereum smart contract fuzzer
      Solidity
      •
      GNU Affero General Public License v3.0
      •390•0•0•0•Updated Jul 23, 2023Jul 23, 2023

    • mythril

      Public
      Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.
      Python
      •
      MIT License
      •753•1•0•0•Updated Jul 15, 2023Jul 15, 2023

    • manticore

      Public
      Symbolic execution tool
      Python
      •
      GNU Affero General Public License v3.0
      •478•0•0•0•Updated Jul 14, 2023Jul 14, 2023

    • DeFiVulnLabs

      Public
      To learn common smart contract vulnerabilities using Foundry!
      Solidity
      •289•0•0•0•Updated Jul 4, 2023Jul 4, 2023

    • slither

      Public
      Static Analyzer for Solidity
      Python
      •
      GNU Affero General Public License v3.0
      •995•0•0•0•Updated Jun 26, 2023Jun 26, 2023

    • smartcheck

      Public
      SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
      HTML
      •
      GNU General Public License v3.0
      •90•1•0•0•Updated Jun 25, 2023Jun 25, 2023

    • smartbugs

      Public
      SmartBugs: A Framework to Analyze Ethereum Smart Contracts
      Python
      •
      Apache License 2.0
      •146•0•0•0•Updated Jun 11, 2023Jun 11, 2023

    • gnn

      Public
      TensorFlow GNN is a library to build Graph Neural Networks on the TensorFlow platform.
      Python
      •
      Apache License 2.0
      •186•1•0•0•Updated Apr 28, 2023Apr 28, 2023

    • snaps-monorepo

      Public
      Monorepo for Snaps dependencies.
      TypeScript
      •
      Other
      •574•0•0•0•Updated Apr 26, 2023Apr 26, 2023

    • SOMPY

      Public
      A Python Library for Self Organizing Map (SOM)
      Jupyter Notebook
      •
      Apache License 2.0
      •244•0•0•0•Updated Apr 7, 2023Apr 7, 2023

    • safe-CEX

      Public
      Repository of centralized exchange failures, malfunctions, bankruptcies and scams
      1•1•0•0•Updated Mar 14, 2023Mar 14, 2023

    • flashbots-docs

      Public
      docs
      JavaScript
      •
      Creative Commons Attribution 4.0 International
      •152•0•0•0•Updated Sep 8, 2022Sep 8, 2022

    • oyente

      Public
      An Analysis Tool for Smart Contracts
      JavaScript
      •
      GNU General Public License v3.0
      •310•0•0•0•Updated Jul 22, 2022Jul 22, 2022

    • pytorch-sentiment-analysis

      Public
      Tutorials on getting started with PyTorch and TorchText for sentiment analysis.
      Jupyter Notebook
      •
      MIT License
      •1.2k•0•0•0•Updated Jul 2, 2022Jul 2, 2022

    • awesome-evm-security

      Public
      🕶 A high-level overview of the EVM security ecosystem
      Creative Commons Zero v1.0 Universal
      •14•0•0•0•Updated Jun 6, 2022Jun 6, 2022

    • beneath

      Public
      Beneath is a serverless real-time data platform ⚡️
      Go
      •
      Other
      •10•0•0•0•Updated Feb 18, 2022Feb 18, 2022

    • securify2

      Public
      Securify v2.0
      Solidity
      •
      Apache License 2.0
      •137•1•0•0•Updated Jan 20, 2022Jan 20, 2022

    • tiny-dnn-on-starknet

      Public
      Jupyter Notebook
      •
      MIT License
      •3•0•0•0•Updated Nov 16, 2021Nov 16, 2021

    • eth2vec

      Public
      JavaScript
      •
      Apache License 2.0
      •6•0•0•0•Updated Mar 26, 2021Mar 26, 2021

    • tensorflow-som

      Public
      A multi-gpu implementation of the self-organizing map in TensorFlow
      Python
      •
      MIT License
      •35•0•0•0•Updated Jan 28, 2021Jan 28, 2021