Search results

Awesome Formal Verification is a GitHub repository or organization with source code, releases, documentation, or project resources.

blade-deepseek

github.com

A DeepSeek-native terminal coding agent in Rust with OS-level sandboxing, persistent goal mode, background tasks, and verification gates.

Research archive containing dark-web authorship verification datasets and baseline models.

ETH Explorers Extensions helps with crypto security, portfolio tracking, auditing, risk monitoring, or asset protection.

Awesome Android Security

github.com

Awesome Android Security is a code project with source, releases, documentation, or setup notes.

Awesome API Security

github.com

Awesome API Security is a GitHub repository or organization with source code, releases, documentation, or project resources.

Awesome CI/CD Security is a GitHub repository or organization with source code, releases, documentation, or project resources.

Awesome Cyber Security is a GitHub repository or organization with source code, releases, documentation, or project resources.

Awesome OSX Security

github.com

Awesome OSX Security is an open source Linux, macOS, or Unix resource with code, tools, or setup notes.

Awesome Security Hardening

github.com

Awesome Security Hardening is a code project with source, releases, documentation, or setup notes.

Awesome Vehicle Security

github.com

Awesome Vehicle Security is a code project with source, releases, documentation, or setup notes.

Echidna is a developer security tool for smart contracts, testing, monitoring, or audits.

Eth Tester helps with crypto security, portfolio tracking, auditing, risk monitoring, or asset protection.

Etheno helps with crypto security, portfolio tracking, auditing, risk monitoring, or asset protection.

Manticore is a developer security tool for smart contracts, testing, monitoring, or audits.

Nightfall 3 helps with crypto security, portfolio tracking, auditing, risk monitoring, or asset protection.

Octopus helps with crypto security, portfolio tracking, auditing, risk monitoring, or asset protection.

OpenZeppelin is a developer security tool for smart contracts, testing, monitoring, or audits.

Personal Security Checklist

github.com

Personal Security Checklist is a code project with source, releases, documentation, or setup notes.

Scribble is a developer security tool for smart contracts, testing, monitoring, or audits.

Solcurity helps with crypto security, portfolio tracking, auditing, risk monitoring, or asset protection.

VSCode Solidity Auditor provides smart contract auditing, blockchain security reviews, or Web3 risk assessment.

Monitor your websites, showcase status including daily history, and get Slack/Telegram/Discord notification whenever your website status changes. Using Cloudflare Workers, CRON Triggers, and KV storage.

byp4xx

github.com

Security testing tool focused on bypassing 4xx web responses during authorized web assessments.