CoinFabrik

coinfabrik-audit-reports

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

CyScout

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.

geppetto

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.

mpc-manager

WebSocket Manager that facilitates secure communication between parties for multi party computation applications.

scout

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.

scout-actions

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.

scout-soroban

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.

scout-soroban-examples

Soroban Smart Contract examples security reviewed by Scout and manual auditors

stacy

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

wasm-multi-party-ecdsa

Full WASM Secure Threshold Signature ECDSA Library

CoinFabrik/scout

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.

CoinFabrik/scout-soroban

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.

CoinFabrik/CyScout

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.

CoinFabrik/coinfabrik-audit-reports

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

CoinFabrik/geppetto

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.

CoinFabrik/scout-audit

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.

CoinFabrik/avalanche-summit-workshop

CoinFabrik/.github

CoinFabrik/alexlab-doc

CoinFabrik/hacking_ink_encode

CoinFabrik/scout-substrate

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

CoinFabrik/scout-substrate-dataset

Dataset of audited Substrate code

CoinFabrik/alex-amm-alex-v1-docs

docs.alexgo.io

CoinFabrik/alex-lisalab-io-docs

CoinFabrik/alex-sdk

CoinFabrik/alex-sdk-example

CoinFabrik/alex-xlink-docs-secaudits

CoinFabrik/alex-xlink-sdk

CoinFabrik/alexlab-doc-update-audit-list

CoinFabrik/html-to-pdf

A simple Rust library to convert HTMLs to PDFs

CoinFabrik/lisalab-io-docs-update-audit-list

CoinFabrik/on-ink_implementations

Parity's ink! to write smart contracts.

CoinFabrik/scout-dataset-code-autoupdater

CoinFabrik/scout-runner

Streamlining precision and recall in vulnerability detection

CoinFabrik/scout-substrate-dataset-code

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

CoinFabrik/scout-workshop

Learn to Scout for security issues and best practices in Soroban

CoinFabrik/solidity-detectors

Research on Vulnerability Detection Using Intermediate Representations of Solidity

CoinFabrik/solidity-rnd

Dataset for research on solidity vulnerabilities

CoinFabrik/xlink-docs

CoinFabrik/xlink-sdk