# Kann Audits > Advanced top-tier Web3 security Kann Audits is a Web3 security audit company. It performs smart contract audits, formal verification, and incident response for DeFi protocols and blockchain infrastructure teams. Kann Audits is a Web3 security audit company that reviews smart contracts and blockchain protocols for vulnerabilities before deployment. It operates through a network of security researchers who conduct human led code reviews, supplemented by an in house AI scanning tool used alongside manual analysis. The company serves DeFi protocols, liquid staking platforms, real world asset tokenization projects, and privacy focused applications that need independent security assessment. The firm addresses the risk that onchain systems concentrate technical and economic exposure in code that is difficult to change once deployed. Its process moves from scoping and manual review through structured reporting to remediation verification, aiming to close the gap between intended contract behavior and actual execution. Formal verification services are offered for protocols that need mathematical assurance of specific properties, alongside more conventional manual audits. Kann Audits offering spans expert security audits, an AI assisted security scan, formal verification, and incident response for teams facing active exploits. It also publishes audit reports and security research through its blog. The company is used by protocol teams ranging from pre launch projects to live systems undergoing upgrades, and it continues to expand its research and tooling alongside its manual audit practice. - Type: Company - Sector: Security - Status: Active - Founded: 2025-01-01 - Profile: https://thegrid.id/profiles/kann_audits ## Products - [KannAudits](https://thegrid.id/profiles/kann_audits): KannAudits is a smart contract security audit service that reviews Web3 protocols for vulnerabilities before and after deployment. Human reviewers perform manual code review and architecture analysis across codebases written in multiple smart contract languages, covering business logic, integrations, and risk profile. The service also offers formal verification of critical protocol properties and emergency incident response for suspected exploits or critical vulnerabilities. Engagements produce detailed audit reports documenting findings across decentralized finance protocols, blockchain networks, and infrastructure projects. (Smart Contract Audits, Live, Main Product) - [AI Security Scan (Kann AI / Model Alpha)](https://thegrid.id/profiles/kann_audits): AI Security Scan is an AI-powered vulnerability analysis tool that examines smart contract code for early-stage security signals. It extracts function-level call graphs from Solidity codebases and returns candidate findings, such as accounting desynchronization risks or oracle validation issues, for expert validation. The tool is available as a hosted web application and as an open-source local command-line tool that developers can run against their own repositories. It is positioned as a preliminary analysis aid rather than a substitute for a full manual audit. (Blockchain Development Security Tools, Live) ## Links - [Main](https://kannaudits.com) - [Blog](https://kannaudits.com/blog) - [Media Kit/branding](https://kannaudits.com/media-kit) - [Twitter / X](https://x.com/KannAudits) - [GitHub](https://github.com/Kann-Audits) - [Telegram](https://t.me/kannaudits) - [LinkedIn](https://www.linkedin.com/company/kannaudits) - [Discord](https://discord.gg/AMz6yjwQ75) ## 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