Recheck is a provider of smart contract auditing tools. It offers automated code analysis for security issues, vulnerability classification, fix recommendations, and integration options for development workflows to improve contract safety before deployment.