{"payload":{"pageCount":3,"repositories":[{"type":"Public","name":"medusa","owner":"crytic","isFork":false,"description":"Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":26,"issueCount":71,"starsCount":258,"forksCount":27,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-12T07:45:03.922Z"}},{"type":"Public","name":"slither","owner":"crytic","isFork":false,"description":"Static Analyzer for Solidity and Vyper","topicNames":["static-analysis","ethereum","solidity","vyper"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":60,"issueCount":348,"starsCount":5045,"forksCount":917,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T16:18:22.613Z"}},{"type":"Public","name":"attacknet","owner":"crytic","isFork":false,"description":"Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":2,"issueCount":6,"starsCount":46,"forksCount":6,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,2,2,0,0,0,0,0,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T13:18:25.773Z"}},{"type":"Public","name":"echidna","owner":"crytic","isFork":false,"description":"Ethereum smart contract fuzzer","topicNames":["testing","security","ethereum","smart-contracts","solidity","fuzzer","evm"],"topicsNotShown":0,"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":21,"issueCount":129,"starsCount":2577,"forksCount":330,"license":"GNU Affero General Public License v3.0","participation":[0,2,1,2,2,2,2,0,1,3,0,0,0,0,0,1,1,2,0,0,0,0,0,7,2,0,0,0,1,3,0,0,5,3,4,5,6,1,2,0,0,4,4,3,4,0,0,2,2,2,1,2],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-09T19:03:10.594Z"}},{"type":"Public","name":"fuzz-utils","owner":"crytic","isFork":false,"description":"A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":15,"starsCount":81,"forksCount":3,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T13:57:56.037Z"}},{"type":"Public","name":"slither-action","owner":"crytic","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":3,"issueCount":11,"starsCount":122,"forksCount":17,"license":"GNU Affero General Public License v3.0","participation":[1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,0,2,0,2,0,3,0,3,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T00:50:48.475Z"}},{"type":"Public","name":"building-secure-contracts","owner":"crytic","isFork":false,"description":"Guidelines and training material to write secure smart contracts","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":29,"issueCount":38,"starsCount":2088,"forksCount":328,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T21:18:47.503Z"}},{"type":"Public","name":"solana-lints","owner":"crytic","isFork":false,"description":"Lints based on the Sealevel Attacks","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":5,"issueCount":3,"starsCount":28,"forksCount":4,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,6,14,8,2,1,4,7,1,0,0,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T03:09:56.541Z"}},{"type":"Public","name":"roundme","owner":"crytic","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":3,"starsCount":85,"forksCount":5,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,3,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T09:46:47.361Z"}},{"type":"Public","name":"contract-explorer","owner":"crytic","isFork":false,"description":"Visual Studio Code integration for Slither, a Solidity static analysis framework","topicNames":["static-analysis","ethereum","visual-studio-code","solidity","vscode-extension"],"topicsNotShown":0,"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":3,"issueCount":20,"starsCount":28,"forksCount":11,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,5,5,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-18T09:17:09.637Z"}},{"type":"Public","name":"crytic-compile","owner":"crytic","isFork":false,"description":"Abstraction layer for smart contract build systems","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":11,"issueCount":95,"starsCount":140,"forksCount":81,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-14T20:03:46.009Z"}},{"type":"Public","name":"ethdam","owner":"crytic","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-12T10:37:09.951Z"}},{"type":"Public","name":"slither-lsp","owner":"crytic","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-11T13:39:50.203Z"}},{"type":"Public","name":"medusa-geth","owner":"crytic","isFork":false,"description":"A go-ethereum fork enabling additional testing capabilities for medusa","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-09T14:21:47.639Z"}},{"type":"Public","name":"properties","owner":"crytic","isFork":false,"description":"Pre-built security properties for common Ethereum operations","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":8,"issueCount":20,"starsCount":246,"forksCount":37,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-05T20:47:03.607Z"}},{"type":"Public","name":"pyevmasm","owner":"crytic","isFork":false,"description":"Ethereum Virtual Machine (EVM) disassembler and assembler","topicNames":["python","ethereum","assembler","evm","dissassembler"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":7,"issueCount":10,"starsCount":343,"forksCount":49,"license":"Apache License 2.0","participation":[0,1,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,7,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-03T07:11:42.605Z"}},{"type":"Public","name":"cloudexec","owner":"crytic","isFork":false,"description":"A general purpose foundation for cloud-based fuzzing and mutation testing jobs","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Go","color":"#00ADD8"},"pullRequestCount":1,"issueCount":10,"starsCount":15,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-29T19:49:25.418Z"}},{"type":"Public","name":"diffusc","owner":"crytic","isFork":false,"description":"Experimental tool to ease the review of smart contracts upgrades","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Solidity","color":"#AA6746"},"pullRequestCount":1,"issueCount":2,"starsCount":69,"forksCount":8,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-25T09:17:58.689Z"}},{"type":"Public","name":"blockchain-security-contacts","owner":"crytic","isFork":false,"description":"Directory of security contacts for blockchain companies","topicNames":["security","email","directory","ethereum","blockchain"],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":2,"issueCount":4,"starsCount":394,"forksCount":186,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-18T11:14:15.003Z"}},{"type":"Public","name":"echidna-action","owner":"crytic","isFork":false,"description":"GitHub Action to run Echidna, the Ethereum smart contract fuzzer","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":1,"issueCount":5,"starsCount":58,"forksCount":10,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-29T17:02:46.444Z"}},{"type":"Public","name":"ardc_proposal","owner":"crytic","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-19T17:39:38.526Z"}},{"type":"Public","name":"amarna","owner":"crytic","isFork":false,"description":"Amarna is a static-analyzer and linter for the Cairo programming language.","topicNames":["cairo","starknet","linter","static-analysis"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":11,"starsCount":148,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-12T21:27:06.819Z"}},{"type":"Public","name":"tealer","owner":"crytic","isFork":false,"description":"Static Analyzer for Teal","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":4,"issueCount":38,"starsCount":61,"forksCount":14,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-08T14:11:08.744Z"}},{"type":"Public","name":"fuzz-vs-fv","owner":"crytic","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T10:14:02.110Z"}},{"type":"Public","name":"ethereum-package","owner":"crytic","isFork":true,"description":"A Kurtosis package that deploys a private, portable, and modular Ethereum devnet","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Starlark","color":"#76d275"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":72,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T21:13:51.102Z"}},{"type":"Public","name":"awesome-ethereum-security","owner":"crytic","isFork":false,"description":"A curated list of awesome Ethereum security references","topicNames":["security","ethereum","solidity","evm"],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":18,"issueCount":4,"starsCount":1264,"forksCount":184,"license":"Creative Commons Attribution 4.0 International","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-29T19:12:46.245Z"}},{"type":"Public","name":"caracal","owner":"crytic","isFork":false,"description":"Static Analyzer for Starknet smart contracts","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Cairo","color":"#ff4a48"},"pullRequestCount":0,"issueCount":3,"starsCount":123,"forksCount":7,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-25T13:43:20.882Z"}},{"type":"Public","name":"ida-evm","owner":"crytic","isFork":false,"description":"IDA Processor Module for the Ethereum Virtual Machine (EVM)","topicNames":["ida","ida-pro","evm","dissassembler","processor-module"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":2,"issueCount":5,"starsCount":300,"forksCount":61,"license":"Apache License 2.0","participation":[0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-19T09:47:36.045Z"}},{"type":"Public","name":"solc-select","owner":"crytic","isFork":false,"description":"Manage and switch between Solidity compiler versions","topicNames":["ethereum","solidity"],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":8,"issueCount":35,"starsCount":730,"forksCount":98,"license":"GNU Affero General Public License v3.0","participation":[2,0,0,0,0,0,4,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,0,6,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-15T08:34:18.558Z"}},{"type":"Public","name":"slither-docs-action","owner":"crytic","isFork":false,"description":"Write documentation for your code in pull requests using Slither and OpenAI.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":7,"issueCount":0,"starsCount":36,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-20T17:01:37.622Z"}}],"repositoryCount":61,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}