CoinFabrik

All

103 repositories

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.
rust security auditing static-analysis smart-contracts blockchain audit ink vulnerability-detection substrate
Rust
•
MIT License
•8•32•12•2•Updated Aug 19, 2025Aug 19, 2025
aptos-core
Public
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Rust
•
Other
•3.8k•0•14•0•Updated Aug 14, 2025Aug 14, 2025
aptos-docs
Public
Documentation for the Aptos Blockchain
MDX
•
Apache License 2.0
•12•0•0•0•Updated Aug 7, 2025Aug 7, 2025
developer-docs
Public
Source for the Aptos developer docs
MDX
•
Apache License 2.0
•159•0•0•0•Updated Jul 24, 2025Jul 24, 2025
alexlab-doc
Public
1•0•0•0•Updated Jul 7, 2025Jul 7, 2025
alex-v1-docs
Public
docs.alexgo.io
MIT License
•2•0•0•0•Updated Jun 17, 2025Jun 17, 2025
xlink-docs
Public
MIT License
•1•0•0•0•Updated Jun 3, 2025Jun 3, 2025
coinfabrik-audit-reports
Public
A list of public audit reports conducted by the CoinFabrik team.
1•21•0•0•Updated May 15, 2025May 15, 2025
bro-sdk
Public
TypeScript
•5•0•0•0•Updated May 12, 2025May 12, 2025
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.
rust security auditing static-analysis blockchain audit ink vulnerability-detection smart-contract soroban
Dockerfile
•
MIT License
•0•16•1•0•Updated May 5, 2025May 5, 2025
algorand-specs
Public
Algorand Formal Specification structured to provide both high-level overviews and detailed formal specifications.
TeX
•0•2•0•4•Updated Apr 23, 2025Apr 23, 2025
ClipboardShield
Public
Clipboard Shield: Protection Defends Against Cyberthreats
windows clipboard firewall cybersecurity shield threats defense
C++
•
MIT License
•3•28•1•0•Updated Apr 5, 2025Apr 5, 2025
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.
python ai communication chatbot slack-bot dalle chatgpt
Python
•
GNU Affero General Public License v3.0
•20•19•0•0•Updated Feb 18, 2025Feb 18, 2025
OMoC-Node
Public
Python
•
Other
•2•0•0•0•Updated Feb 11, 2025Feb 11, 2025
scout-demo
Public
Rust
•1•0•0•2•Updated Jan 30, 2025Jan 30, 2025
MoCMock
Public
TypeScript
•0•0•0•0•Updated Jan 22, 2025Jan 22, 2025
lisalab-io-docs
Public
1•0•0•0•Updated Jan 15, 2025Jan 15, 2025
scout-substrate-dataset
Public
Dataset of audited Substrate code
security vulnerabilities substrate smart-contract-audit
Python
•
MIT License
•1•1•0•0•Updated Jan 8, 2025Jan 8, 2025
on-ink_implementations
Public
Parity's ink! to write smart contracts.
Rust
•
Apache License 2.0
•466•0•0•0•Updated Dec 24, 2024Dec 24, 2024
scout-dataset-code-autoupdater
Public
C#
•0•0•0•0•Updated Dec 19, 2024Dec 19, 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.
dataset smart-contract-audit
MIT License
•0•0•0•0•Updated Dec 19, 2024Dec 19, 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.
rust tool smart-contracts audit ink
Rust
•
MIT License
•9•60•5•0•Updated Dec 18, 2024Dec 18, 2024
solidity-detectors
Public
Research on Vulnerability Detection Using Intermediate Representations of Solidity
solidity vulnerability-detection
Python
•
GNU Affero General Public License v3.0
•0•0•0•0•Updated Dec 18, 2024Dec 18, 2024
scout-runner
Public
Streamlining precision and recall in vulnerability detection
vulnerability-detection precision-and-recall
Rust
•
MIT License
•0•0•0•0•Updated Dec 17, 2024Dec 17, 2024
solidity-rnd
Public
Dataset for research on solidity vulnerabilities
dataset solidity-contracts securty solidity-vulnerabilities
Solidity
•
MIT License
•0•0•0•0•Updated Dec 16, 2024Dec 16, 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-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-analysis vulnerability-detection vulnerability-scanners smart-contract-security
Rust
•
MIT License
•6•43•17•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-analysis vulnerability-detection substrate
Rust
•
MIT License
•1•1•3•0•Updated Nov 5, 2024Nov 5, 2024
scout-workshop
Public
Learn to Scout for security issues and best practices in Soroban
security workshop soroban
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.
security smart-contracts security-tools solidty codeql codeql-enabled
CodeQL
•3•47•1•0•Updated Oct 25, 2024Oct 25, 2024