Back to Organizations
MoveBit
MoveBit provides smart contract security audits and developer tools for Move ecosystem blockchains using formal verification techniques.
Unit 1047, 10/F, Building 19W, 19 Science Park West Avenue, Hong Kong Science Park, Pak Shek Kok, N.T., Hong Kong
Smart Contract Security Audits
Project Links
Description
Smart Contract Security Audits provides manual code review, automated analysis, and formal verification for Move smart contracts, decentralized applications, and blockchain infrastructure deployed on Aptos, Sui, and Movement Labs networks. The audit process includes testing, automated analysis, code review, and formal verification methodology with seven-step engagement from initial contact through ongoing monitoring.Category: Smart Contract Audits
Sui Move Analyzer
Project Links
Description
Sui Move Analyzer is a Visual Studio Code extension providing syntax highlighting, code completion, navigation, diagnostics, and framework integration for Move smart contract development on Sui blockchain.Category: Developer Tooling
Aptos Move Analyzer
Project Links
Description
Aptos Move Analyzer is a Visual Studio Code language server extension offering syntax highlighting, intelligent completion, navigation tools, and real-time diagnostics for Move development on Aptos blockchain.Category: Developer Tooling
Aptos Move Formatter
Project Links
Description
Aptos Move Formatter is a code formatting tool developed in collaboration with Aptos Labs that automatically formats Move source code according to configurable style guidelines.Category: Developer Tooling
Move Web IDE
Project Links
Description
Move Web IDE is a browser-based integrated development environment for writing, testing, and deploying Move smart contracts without local installation requirements.Category: Developer Tooling
MoveScanner
Project Links
Description
MoveScanner is a static analysis tool that converts Move bytecode to intermediate representation and control flow graphs to detect vulnerabilities in Move smart contracts.Category: Blockchain Development Security Tools
Sui Contract Source Verifier
Project Links
Description
Sui Contract Source Verifier is a tool enabling developers to verify that deployed smart contract bytecode matches published source code on Sui blockchain.Category: Developer Tooling