# MoveBit > Pioneer in Move Security MoveBit provides smart contract security audits and developer tools for Move ecosystem blockchains using formal verification techniques. MoveBit is a blockchain security company specializing in the Move programming language ecosystem. The team provides security audit services for smart contracts and decentralized applications built on Move-based blockchains. MoveBit pioneered the use of formal verification techniques in the Move ecosystem and has developed developer tools including IDE plugins, code formatters, and static analysis scanners. The company operates as a subsidiary brand of BitsLab. - Type: Company - Sector: Security - Status: Active - Founded: 2022-08-01 - Profile: https://thegrid.id/profiles/movebit ## Products - [Smart Contract Security Audits](https://thegrid.id/profiles/movebit): 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. (Smart Contract Audits, Live, Main Product) - [Sui Move Analyzer](https://thegrid.id/profiles/movebit): 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. (Developer Tooling, Live) - [Aptos Move Analyzer](https://thegrid.id/profiles/movebit): 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. (Developer Tooling, Live) - [Aptos Move Formatter](https://thegrid.id/profiles/movebit): 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. (Developer Tooling, Live) - [Move Web IDE](https://thegrid.id/profiles/movebit): Move Web IDE is a browser-based integrated development environment for writing, testing, and deploying Move smart contracts without local installation requirements. (Developer Tooling, Live) - [MoveScanner](https://thegrid.id/profiles/movebit): MoveScanner is a static analysis tool that converts Move bytecode to intermediate representation and control flow graphs to detect vulnerabilities in Move smart contracts. (Blockchain Development Security Tools, Live) - [Sui Contract Source Verifier](https://thegrid.id/profiles/movebit): Sui Contract Source Verifier is a tool enabling developers to verify that deployed smart contract bytecode matches published source code on Sui blockchain. (Developer Tooling, Live) ## Links - [Main](https://movebit.xyz) - [Blog](https://movebit.xyz/#blog) - [Event Calendar](https://movebit.xyz/#event) - [Twitter / X](https://x.com/MoveBit_) - [LinkedIn](https://linkedin.com/company/movebit) - [GitHub](https://github.com/movebit) - [Telegram](https://t.me/BitsLabHQ) ## Legal This data is provided under two licensing models. Model 1 - open data. The open data core is licensed under the Open Database License (ODbL) — a copyleft/share-alike license allowing free use, modification, and sharing for any purpose. Attribution is required: include "Powered by The Grid" linking to https://thegrid.id wherever the data is used. Derivative databases must be shared under ODbL terms. Trademarks, logos, and brand names (marked "Special TPIP") are not covered by the ODbL. For ML/AI use: training datasets that substantially extract ODbL data are Derivative Databases and must be shared under ODbL if publicly used; models must be attributed in documentation. Model 2 - commercial licenses. The Grid Data Service (TGDS) is also available as a commercial license. See [Web Services Terms](https://about.thegrid.id/legal/web-services-terms) for commercial use that is not covered by the open data service. The following applies to both licensing models. - All data is provided AS IS with no guarantees of accuracy. - The Grid does not provide investment, legal, or tax advice, and - a project's presence in The Grid's data does not imply endorsement. - [Data Licensing & Disclaimers](https://about.thegrid.id/legal/data-licensing-and-disclaimers): Licensing models and disclaimers - [Open Data (ODbL)](https://about.thegrid.id/legal/open-data): Open Database License terms and scope for The Grid's open data service. - [Attribution Guidelines](https://about.thegrid.id/legal/open-data-attribution-guidelines): How to attribute The Grid's data when using the open data service. - [Web Services Terms](https://about.thegrid.id/legal/web-services-terms): commercial Terms for using data services. - [All Legal Documents](https://about.thegrid.id/legal): Full index of terms, policies, and disclosures ## Optional - [TGS Field Descriptions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-field-descriptions.md): Schema field definitions for The Grid's data model - [TGS JSON Structure](https://github.com/The-Grid-Data/workspace-public/blob/main/references/tgs-json-structure.md): Data model structure and relationships - [Product Type Definitions](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-definitions.md): Definitions for each product type - [Product Type Classification](https://github.com/The-Grid-Data/workspace-public/blob/main/references/product-type-classification.md): Guide for classifying products into types - [Grid MCP Guide](https://github.com/The-Grid-Data/workspace-public/blob/main/grid-search/skills/grid-query/references/grid-mcp-guide.md): How to query The Grid programmatically via MCP