Big integer types for Rust

Encode any data into a sequence of English words

AI agent skills for Bitcoin, Stacks, and DeFi operations

A payments protocol for the internet. Built on HTTP.

Cognee is the open-source AI memory platform for agents. Give your AI agents persistent long-term memory across sessions with a self-hosted knowledge graph engine.

Visualizing Ownership and Borrowing in Rust Programs

Build commands for Rust PVM contracts

The source of truth for Polkadot.

A Kurtosis package that deploys a private, portable, and modular Ethereum devnet

Leveraged strategies for on-chain funds

MCP server for Web3 founders. Code audit (Solidity/Rust), jurisdiction matching, portfolio comparison, fund discovery, social audit. Free, open source, privacy-first.

A verification toolchain for Rust programs

Pi extension that adds a run_live_terminal tool and a live tmux widget inside Pi.

Pashov Audit Group Skills

A Model Context Protocol server for converting almost anything to Markdown

Deepnote is a drop-in replacement for Jupyter with an AI-first design, sleek UI, new blocks, and native data integrations. Use Python, R, and SQL locally in your favorite IDE, then scale to Deepnot…

Smart contracts for conditional tokens.

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

WybeCoder Verified Generation of Imperative Code with LLMs

Polymarket CTF Exchange v2

Autonomous Web3 security audit agent for Claude Code

Command line helpers for fuzzing

a collection of north korean apt articles, analysis and heists attributed to lazarus / bluenoroff / apt38.

The all-in-one tool for Polkadot development.