Positive Security

All

14 repositories

twitter-scraper
Public
Scrape the Twitter frontend API without authentication with Golang.
Go
•
MIT License
•228•0•0•0•Updated Dec 12, 2025Dec 12, 2025
.github
Public
0•0•0•0•Updated Dec 2, 2025Dec 2, 2025
PositiveCTF-EVM
Public
A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.
Solidity
•16•26•0•0•Updated Dec 2, 2025Dec 2, 2025
BlendV2-FV
Public
Blend v2 (Stellar) Certora FV Competition (Feb 2025, #4 place)
Rust
•0•0•0•0•Updated Aug 26, 2025Aug 26, 2025
PositiveCTF-TON
Public
A set of tasks for cracking implementations of smart-contracts with typical vulnerabilities.
Tact
•1•0•0•0•Updated Aug 14, 2025Aug 14, 2025
aquarius-cantina-fv
Public
Aquarius (Stellar) Certora FV Competition (Jun 2025, 🏆#1 place)
Rust
•
Apache License 2.0
•0•0•1•0•Updated Jun 18, 2025Jun 18, 2025
ton-graph
Public
VSCode extension for visualizing function call graphs in TON smart contracts. Built with Mermaid.js by @PositiveSecurity
TypeScript
•
MIT License
•1•3•0•0•Updated Jun 9, 2025Jun 9, 2025
ton-audit-guide
Public
Checklist for security audit of TON projects by @PositiveSecurity
checklist security-audit func ton
5•43•0•0•Updated Feb 26, 2025Feb 26, 2025
ConCert
Public
A verified implementation of the DEX/AMM protocol in ConCert
Coq
•
MIT License
•22•3•0•0•Updated Sep 25, 2024Sep 25, 2024
zk-audit-guide
Public
Checklist for security audit of ZKP projects by @PositiveSecurity
security-audit zero-knowledge zk-snarks zksnarks zkp
0•34•0•0•Updated Sep 12, 2024Sep 12, 2024
tron-audit-guide
Public
Checklist for security audit of tron projects by @PositiveSecurity
checklist security-audit tron
4•26•0•0•Updated Sep 11, 2024Sep 11, 2024
discussions
Public
0•0•0•0•Updated Jul 29, 2024Jul 29, 2024
blockscout-go-api
Public
Golang client for Blockscout API
go ethereum blockscout blockscout-api
Go
•
MIT License
•2•2•0•0•Updated Apr 6, 2024Apr 6, 2024
LICENSE
Public
Open Source License from Positive Security
Other
•0•0•0•0•Updated Sep 21, 2023Sep 21, 2023