Popular repositories Loading

1. Aikido-Security-Analysis-Platform Aikido-Security-Analysis-Platform Public

   Security analysis platform for Aiken smart contracts on Cardano: 75 detectors, SMT verification, transaction simulation

   Rust 2

2. homebrew-tap homebrew-tap Public

   Homebrew tap for Aikido - Aiken security analyzer

   Ruby

3. awesome-mcp-servers awesome-mcp-servers Public

   Forked from punkpeye/awesome-mcp-servers

   A collection of MCP servers.

4. awesome-aiken awesome-aiken Public

   Forked from aiken-lang/awesome-aiken

   A collection of Aiken libraries, dapps, and resources

5. static-analysis static-analysis Public

   Forked from analysis-tools-dev/static-analysis

   ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.

   Rust

6. awesome-mcp-servers-1 awesome-mcp-servers-1 Public

   Forked from wong2/awesome-mcp-servers

   A curated list of Model Context Protocol (MCP) servers