Help developers discover the tools you use. Get visibility for your team's tech choices and contribute to the community's knowledge.
Continuous security platform for smart contracts and ZK circuits. Static analysis, fuzzing, and formal verification in one integrated workflow. | RedVeil offers on-demand penetration testing powered by agentic AI. Uncover vulnerabilities and get actionable at a fraction of traditional costs. |
Static Analysis, Fuzzing, Solidity Audit, ZK Circuits Audit, Continuous Blockchain security | cybersecurity |
Statistics | |
Stacks 0 | Stacks 0 |
Followers 1 | Followers 1 |
Votes 1 | Votes 1 |

A decentralized platform for applications that run exactly as programmed without any chance of fraud, censorship or third-party interference.

It is a collaborative effort created to advance blockchain technology by identifying and addressing important features and currently missing requirements. It leverages container technology to host smart contracts called “chaincode” that comprise the application logic of the system.

It is a software which can be used to achieve Byzantine fault tolerance (BFT) in any distributed computing platforms. It consists of two chief technical components: a blockchain consensus engine and a generic application interface.

It is a platform that helps users to establish a certain private Blockchains that can be used by the organizations for financial transactions.

It is a cutting-edge framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, it empowers agents to work together seamlessly, tackling complex tasks.

Discover and install agent skills for Claude Code, Cursor, Windsurf and more. Browse 10000+ curated skills by category or author. Start building smarter today.

BitResurrector v3.0 is a high-performance suite for recovering lost Bitcoin private keys. It leverages extreme GPU acceleration, AVX-512 parallelism, and cryptographic optimizations like Montgomery REDC. Built for "Digital Archaeology," it specializes in auditing historical PRNG weaknesses and statistical anomalies in early blockchain assets.

Is an all-in-one AI coding platform that allows you build apps and websites by chatting with AI. YouWare enables full-stack code generation and deployment with a shareable URL instantly. no code, no setup, no hassle.

An open source security tool for testing a data center's resiliency to perimeter breaches and internal server infection. The Monkey uses various methods to self propagate across a data center and reports success to a centralized Monkey Island server.

Ainisa is the agentic AI platform that actually works: Train agents on your data (products/FAQs/orders), deploy to WhatsApp, Telegram, or website in minutes, and let them take real actions—book meetings, trigger n8n/Zapier, fetch Stripe orders, fill forms, close deals. Bring your own OpenAI/Claude key for zero hidden costs. No markups, no hallucinations. Launch special: First 100 sign-ups get 20% off for 3 months. 4 ready templates: General, Customer Support, E-commerce, Lead Gen. Perfect for e-com stores, agencies, and solo founders. Start free (200 messages/50 chats/mo).