Skip to content
Change the repository type filter

All

    Repositories list

    • dylint

      Public
      Run Rust lints from dynamic libraries
      Rust
      Apache License 2.0
      505714610Updated Apr 22, 2026Apr 22, 2026
    • gosentry

      Public
      Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.
      Go
      BSD 3-Clause "New" or "Revised" License
      19k3310Updated Apr 22, 2026Apr 22, 2026
    • build-wrap

      Public
      Help protect against malicious build scripts
      Rust
      GNU Affero General Public License v3.0
      42721Updated Apr 22, 2026Apr 22, 2026
    • test-fuzz

      Public
      To make fuzzing Rust easy
      Rust
      GNU Affero General Public License v3.0
      2620272Updated Apr 22, 2026Apr 22, 2026
    • mewt

      Public
      mewt is a mutation testing framework
      C
      GNU Affero General Public License v3.0
      02404Updated Apr 22, 2026Apr 22, 2026
    • algo

      Public
      Set up a personal VPN in the cloud
      Python
      GNU Affero General Public License v3.0
      2.4k30k656Updated Apr 22, 2026Apr 22, 2026
    • cargo-line-test

      Public
      Run tests by the lines they exercise
      Rust
      2820Updated Apr 22, 2026Apr 22, 2026
    • rfc3161-client

      Public
      An Opinionated Python RFC3161 Client
      Rust
      Apache License 2.0
      4620Updated Apr 22, 2026Apr 22, 2026
    • elaborate

      Public
      Wrappers for standard library functions and types to produce more elaborate error messages
      Rust
      Apache License 2.0
      1522Updated Apr 22, 2026Apr 22, 2026
    • publications

      Public
      Publications from Trail of Bits
      Python
      Creative Commons Attribution Share Alike 4.0 International
      2261.8k04Updated Apr 22, 2026Apr 22, 2026
    • pajaMAS

      Public
      Multi-agent system (MAS) hijacking demos
      Python
      Apache License 2.0
      545315Updated Apr 21, 2026Apr 21, 2026
    • trailmark

      Public
      Build and query a graph database representation of source code
      C
      Apache License 2.0
      01312Updated Apr 21, 2026Apr 21, 2026
    • slither-mcp

      Public
      MCP server for Slither static analysis of Solidity smart contracts
      Python
      GNU Affero General Public License v3.0
      887013Updated Apr 21, 2026Apr 21, 2026
    • aifirst-insecure-agent-labs

      Public
      Python
      25010Updated Apr 21, 2026Apr 21, 2026
    • anchor-coverage

      Public
      A wrapper around `anchor test` for computing test coverage
      Rust
      GNU Affero General Public License v3.0
      61541Updated Apr 21, 2026Apr 21, 2026
    • irene3

      Public
      C++
      GNU Affero General Public License v3.0
      21115Updated Apr 21, 2026Apr 21, 2026
    • exploits

      Public
      C
      Apache License 2.0
      32400Updated Apr 21, 2026Apr 21, 2026
    • skills

      Public
      Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
      Python
      Creative Commons Attribution Share Alike 4.0 International
      4084.7k1511Updated Apr 21, 2026Apr 21, 2026
    • masm-decompiler

      Public
      Decompiler for the Miden assembly language
      Rust
      MIT License
      1101Updated Apr 21, 2026Apr 21, 2026
    • claude-code-devcontainer

      Public
      Sandboxed devcontainer for running Claude Code in bypass mode safely. Built for security audits and untrusted code review.
      Shell
      Apache License 2.0
      7675420Updated Apr 21, 2026Apr 21, 2026
    • pylock-attestations

      Public
      CLI tool to add attestation identities to `pylock.toml` files
      Python
      Apache License 2.0
      1640Updated Apr 20, 2026Apr 20, 2026
    • gh-action-adapt-sigstore-pypi

      Public
      Python
      Apache License 2.0
      0101Updated Apr 20, 2026Apr 20, 2026
    • zkdocs

      Public
      Interactive documentation on zero-knowledge proof systems and related primitives.
      HTML
      Creative Commons Attribution 4.0 International
      4817769Updated Apr 20, 2026Apr 20, 2026
    • muton

      Public
      Mutation testing framework for TON smart contracts
      C
      GNU Affero General Public License v3.0
      0500Updated Apr 20, 2026Apr 20, 2026
    • mquire

      Public
      Zero-dependency Linux memory forensics PoC — leverages kernel-embedded BTF and kallsyms for type-aware memory analysis without external debug info.
      Rust
      Apache License 2.0
      614330Updated Apr 20, 2026Apr 20, 2026
    • multiplier

      Public
      Code auditing productivity multiplier.
      C++
      Apache License 2.0
      344711152Updated Apr 20, 2026Apr 20, 2026
    • cargo-unmaintained

      Public
      Find unmaintained packages in Rust projects
      Rust
      GNU Affero General Public License v3.0
      1388110Updated Apr 20, 2026Apr 20, 2026
    • check-up-to-dateness

      Public
      Check whether a merge group PR is up to date relative to its base branch
      Shell
      1100Updated Apr 20, 2026Apr 20, 2026
    • pip-plugin-pep740

      Public
      An implementation of a pip plugin that verifies PEP-740 attestations before installing a package, and aborts the installation if verification fails.
      Python
      Apache License 2.0
      1510Updated Apr 20, 2026Apr 20, 2026
    • rfc8785.py

      Public
      A pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)
      Python
      Apache License 2.0
      3901Updated Apr 20, 2026Apr 20, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.