Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

Bluetooth Fitness Machine Service async client library.

Runtime monitoring of formal specifications

Paper2Agent is a multi-agent AI system that automatically transforms research papers into interactive AI agents with minimal human input.

Hybrid Public-Key Encryption

Sign and verify orchestrated HTTP requests

Post-Quantum Algorithms for HPKE

Methods for IP Address Encryption and Obfuscation.

Simple Go server to test PQ key agreement

Common MPC Pitfalls

Python 3 API wrapper for Garmin Connect to get statistics and set activities

Toolkit for linearizing PDFs for LLM datasets/training

Your Key Transparency auditor companion

Download and parse data from Garmin Connect or a Garmin watch, FitBit CSV, and MS Health CSV files into and analyze data in Sqlite serverless databases with Jupyter notebooks.

The missing layer for complex data batch integration pipelines

Converts an audio file to a 3D spectrogram and (optionally) saves as a stereolithography (STL) file for 3D printing

🌱💧 An open source DIY soil moisture sensor

Post-quantum cryptography certificates

Implementation of SoftSpokenOT. Forked from libOTe.

Proof-of-possession for KEM certificates using verifiable generation

Neqo, the Mozilla Firefox implementation of QUIC in Rust

🥧 Savoury implementation of the QUIC transport protocol and HTTP/3

I-D for a general purpose KEM (key encapsulation mechanism) that includes a hash at the end

Bottom-up memory-safety for assembly language using symbolic execution