Lists (1)
Stars
Tiny, Fast, and Deployable anywhere — automate the mundane, unleash your creativity
A curated list of resources for Formal Verification with Certora Prover (EVM/Stellar/Solana).
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF benchmark
A framework for collecting and analyzing prediction market data, including the largest publicly available dataset of Polymarket and Kalshi market and trade data.
Lightweight Ethereum history node — syncs headers, receipts & logs from P2P, serves eth_getLogs RPC. No EVM, no state trie. Full mainnet in ~6h.
Fast, Sharp & Reliable Agentic Intelligence
Agentic Design Patterns: A Hands-On Guide to Building Intelligent Systems by Antonio Gulli
Official inference framework for 1-bit LLMs
Open-source deep-learning framework for exploring, building and deploying AI weather/climate workflows.
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞
Marketing skills for Claude Code and AI agents. CRO, copywriting, SEO, analytics, and growth engineering.
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
a skill directory for world-class specialized agents, in your terminal / IDE. more sophisticated than skills with just md files. and they're free.
Quick illustration of how one can easily read books together with LLMs. It's great and I highly recommend it.
Lightweight & Fast Security Scanner for React Native & Expo
A database of 650 Machine Learning (ML) system design case studies from 100+ companies.
"Paper2Slides: From Paper to Presentation in One Click"
The best smart contracts in one place.
An open-source library of UI blocks. Built with React, Tailwind and shadcn/ui