WaterSo0910
Follow
Lists (3)
Starred repositories
Buttercup finds and patches software vulnerabilities
DeFi Security Breaches: Comprehensive Root Cause Analysis
Local-first AI Notepad for Private Meetings
Bastet is a comprehensive dataset of common smart contract vulnerabilities in DeFi along with an AI-driven automated detection process to enhance vulnerability detection accuracy and optimize secur…
A curated list of awesome smart contract datasets
An Ethereum Dynamic Analyzer, a.k.a, open-sourced transaction explorer similar to Phalcon/EthTx/TxTracer
本仓库包含对 Claude Code v1.0.33 进行逆向工程的完整研究和分析资料。包括对混淆源代码的深度技术分析、系统架构文档，以及重构 Claude Code agent 系统的实现蓝图。主要发现包括实时 Steering 机制、多 Agent 架构、智能上下文管理和工具执行管道。该项目为理解现代 AI agent 系统设计和实现提供技术参考。
LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
A reactive client store for building super fast apps
Scan for React performance issues and eliminate slow renders in your app
⏩ Ship faster with Continuous AI. Build and run custom agents across your IDE, terminal, and CI
📄 Configuration files that enhance Cursor AI editor experience with custom rules and behaviors
Repository contains full indexing pipeline from data extraction to building complex high-level data marts
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
An open-source, cross-platform terminal for seamless workflows