Skip to content
@RektifyAI

Rektify AI

Revolutionizing Web3 Security

Popular repositories Loading

  1. auditing-demystified auditing-demystified Public

    A compendium of smart contract auditing resources for beginners

    35 6

  2. attack-playbook attack-playbook Public

    Defines all benign, moderate, and malicious attacks deployed on crypto projects.

    3 7

  3. rektify-ai rektify-ai Public

    Code analysis tool powered by machine learning to ensure optimal security of smart contracts

    Jupyter Notebook 2

  4. gnn gnn Public

    Forked from tensorflow/gnn

    TensorFlow GNN is a library to build Graph Neural Networks on the TensorFlow platform.

    Python 1 1

  5. mythril mythril Public

    Forked from Consensys/mythril

    Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

    Python 1 1

  6. smartcheck smartcheck Public

    Forked from smartdec/smartcheck

    SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).

    HTML 1 1

Repositories

Showing 10 of 25 repositories
  • attack-playbook Public

    Defines all benign, moderate, and malicious attacks deployed on crypto projects.

    RektifyAI/attack-playbook’s past year of commit activity
    3 7 0 0 Updated May 7, 2024
  • adv-attack-analysis Public

    Deep learning and data analysis repo, uncovering the latest neural network applications on blockchain attacks

    RektifyAI/adv-attack-analysis’s past year of commit activity
    Jupyter Notebook 0 0 0 0 Updated Apr 12, 2024
  • vite Public Forked from vitejs/vite

    Next generation frontend tooling. It's fast!

    RektifyAI/vite’s past year of commit activity
    TypeScript 0 MIT 6,415 0 0 Updated Feb 9, 2024
  • auditing-demystified Public

    A compendium of smart contract auditing resources for beginners

    RektifyAI/auditing-demystified’s past year of commit activity
    35 6 0 0 Updated Nov 27, 2023
  • rektify-ai Public

    Code analysis tool powered by machine learning to ensure optimal security of smart contracts

    RektifyAI/rektify-ai’s past year of commit activity
    Jupyter Notebook 2 0 0 0 Updated Sep 13, 2023
  • echidna Public Forked from crytic/echidna

    Ethereum smart contract fuzzer

    RektifyAI/echidna’s past year of commit activity
    Solidity 0 AGPL-3.0 381 0 0 Updated Jul 23, 2023
  • mythril Public Forked from Consensys/mythril

    Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

    RektifyAI/mythril’s past year of commit activity
    Python 1 MIT 777 0 0 Updated Jul 15, 2023
  • manticore Public Forked from trailofbits/manticore

    Symbolic execution tool

    RektifyAI/manticore’s past year of commit activity
    Python 0 AGPL-3.0 504 0 0 Updated Jul 14, 2023
  • DeFiVulnLabs Public Forked from SunWeb3Sec/DeFiVulnLabs

    To learn common smart contract vulnerabilities using Foundry!

    RektifyAI/DeFiVulnLabs’s past year of commit activity
    Solidity 0 286 0 0 Updated Jul 4, 2023
  • slither Public Forked from crytic/slither

    Static Analyzer for Solidity

    RektifyAI/slither’s past year of commit activity
    Python 0 AGPL-3.0 1,010 0 0 Updated Jun 26, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…