✨ Fully autonomous AI Agents system capable of performing complex penetration testing tasks

A Neovim plugin that displays difftastic's structural diffs in a side-by-side view with syntax highlighting.

Open-source CUDA compiler targeting multiple GPU architectures. Compiles .cu to AMD and Tenstorrent GPU's

Claude code hooks for WiZ smart-lamps.

Monitor your local neighbourhood's bluetooth activity

A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types

Effect-ts monorepo with utilities for web3, next.js, and more

Integrity-verifying proxy and load balancer for Sentinel nodes on the Aztec network, written in Go.

Mac App For Aztec Stats

Cazt is a Swiss Army knife for interacting with Aztec applications from the command line.

huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.

Lightweight indexer for CCA auctions using Ponder

CREATE4 is a universal deployer that supports the trustless definition of chain-specific bytecodes

Aave V4

Smart contract language with formal verification. Built with Zig for safety and performance

Smart contracts for Continuous Clearing Auctions to be used with the Uniswap Liquidity Launcher

Demo for Anonymous Credentials Token for Rate-Limiting Agents

Predicate Contracts for Solana

Uniswap V4 hook address miner tool

Aztec version manager

Aztec Pay (gnosis pay but for aztec)

Formal verification extensions for Noir

Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.

Generate and execute jq programs using LLMs

Diamond iO implementation https://eprint.iacr.org/2025/236