Repositories list

• alex-lisalab-io-docs

  Public
  1•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• scout-audit

  Public
  Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.

  rustsecurityauditing+ 7static-analysissmart-contractsblockchainauditinkvulnerability-detectionsoroban

  Rust

  •

  MIT License

  •3•6•11•1•Updated Dec 3, 2024Dec 3, 2024

• alexlab-doc-update-audit-list

  Public
  2•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• alexlab-doc

  Public
  2•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• scout-substrate-dataset

  Public
  Dataset of audited Substrate code

  securityvulnerabilitiessubstrate+ 1smart-contract-audit

  Python

  •

  MIT License

  •1•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• alex-xlink-docs-secaudits

  Public
  MIT License

  •2•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• coinfabrik-audit-reports

  Public
  A list of public audit reports conducted by the CoinFabrik team.

  1•19•0•0•Updated Nov 29, 2024Nov 29, 2024

• alex-xlink-sdk

  Public
  TypeScript

  •4•0•0•0•Updated Nov 22, 2024Nov 22, 2024

• html-to-pdf

  Public
  A simple Rust library to convert HTMLs to PDFs

  Rust

  •

  The Unlicense

  •1•0•0•0•Updated Nov 15, 2024Nov 15, 2024

• scout

  Public
  Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and deviations from best practices.

  rusttoolsmart-contracts+ 2auditink

  Rust

  •

  MIT License

  •8•55•5•0•Updated Nov 11, 2024Nov 11, 2024

• scout-soroban

  Public
  Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security issues and deviations from best practices.

  static-analysisvulnerability-detectionvulnerability-scanners+ 1smart-contract-security

  Rust

  •

  MIT License

  •5•41•17•4•Updated Nov 7, 2024Nov 7, 2024

• on-ink_implementations

  Public
  Parity's ink! to write smart contracts.

  Rust

  •

  Apache License 2.0

  •432•0•0•0•Updated Nov 7, 2024Nov 7, 2024

• scout-substrate

  Public
  Scout is an extensible open-source tool intended to assist Substrate developers and auditors detect common security issues and deviations from best practices.

  static-analysisvulnerability-detectionsubstrate

  Rust

  •

  MIT License

  •1•0•7•0•Updated Nov 5, 2024Nov 5, 2024

• scout-substrate-dataset-code

  Public
  Tagged archive of audited project code for the Scout Substrate Dataset, with .zip/.tar.gz downloads and full history for Substrate blockchain audits.

  datasetsmart-contract-audit

  MIT License

  •0•0•0•0•Updated Nov 1, 2024Nov 1, 2024

• solidity_detectors_poc

  Public
  Pruebas sobre representaciones intermedias de solidity

  Python

  •

  GNU Affero General Public License v3.0

  •0•0•0•1•Updated Oct 31, 2024Oct 31, 2024

• scout-workshop

  Public
  Learn to Scout for security issues and best practices in Soroban

  securityworkshopsoroban

  2•0•0•0•Updated Oct 30, 2024Oct 30, 2024

• CyScout

  Public
  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.

  securitysmart-contractssecurity-tools+ 3solidtycodeqlcodeql-enabled

  CodeQL

  •2•33•0•0•Updated Oct 25, 2024Oct 25, 2024

• xlink-docs

  Public
  MIT License

  •2•0•0•0•Updated Oct 18, 2024Oct 18, 2024

• avalanche-summit-workshop

  Public
  Shell

  •0•1•0•0•Updated Oct 17, 2024Oct 17, 2024

• xlink-sdk

  Public
  TypeScript

  •4•0•0•0•Updated Sep 19, 2024Sep 19, 2024

• alex-sdk

  Public
  TypeScript

  •

  MIT License

  •12•0•0•0•Updated Sep 17, 2024Sep 17, 2024

• alex-amm-alex-v1-docs

  Public
  docs.alexgo.io

  MIT License

  •2•0•0•0•Updated Sep 17, 2024Sep 17, 2024

• hacking_ink_encode

  Public
  Rust

  •0•0•0•0•Updated Sep 16, 2024Sep 16, 2024

• solidity-rnd

  Public
  Research on solidity vulnerabilities

  Solidity

  •0•0•0•0•Updated Sep 12, 2024Sep 12, 2024

• .github

  Public
  developmentcryptoaudit+ 1web3

  0•0•0•0•Updated Sep 4, 2024Sep 4, 2024

• alex-sdk-example

  Public
  TypeScript

  •2•0•0•0•Updated Aug 29, 2024Aug 29, 2024

• geppetto

  Public
  Geppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with automated responses and intelligent dialogues, supporting flexible model management and Docker deployment.

  pythonaicommunication+ 4chatbotslack-botdallechatgpt

  Python

  •

  GNU Affero General Public License v3.0

  •19•18•0•0•Updated Aug 21, 2024Aug 21, 2024

• algorand-protocol-simulator

  Public
  HyPhy

  •2•2•0•1•Updated Jul 19, 2024Jul 19, 2024

• scout-actions

  Public
  Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. This GitHub Action allows you to incorporate Scout's analysis into every Pull Request.

  rustsecurityauditing+ 7static-analysisblockchainauditinkvulnerability-detectionsmart-contractsoroban

  Dockerfile

  •

  MIT License

  •0•15•1•0•Updated Jul 18, 2024Jul 18, 2024

• stacy

  Public
  Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.

  Python

  •

  MIT License

  •4•27•3•2•Updated Jul 18, 2024Jul 18, 2024