
Open Text Magellan
Kira
BAAR
Equally AI
Veritone Automate Studio
Infrrd.ai
Doxel
Neuton.AI
AuditHub
Olympix
AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.
Built by Veridise. https://veridise.com/
Open Text Magellan
AuditHubNo features have been listed yet.
AuditHub's answer:
AuditHub's answer:
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Kira - Gain visibility into contract repositories, accelerate and improve the accuracy of contract review, mitigate risk of errors, win new business, and improve the value you provide to your clients.
Olympix - Secure your code as itโs written
BAAR - BAAR is a Business Workflow Automation platform to help you automate digital security.
Equally AI - The first true 'all-in-one' web accessibility solution to meet and exceed international web accessibility standards and government regulations.
Veritone Automate Studio - Veritone Automate Studio is one of the major Low-Code platforms powered by AI to empower organizations willing to implement intelligent process automation initiatives to create and deploy workflows backed by AI and integrate the output insights intoโฆ
Infrrd.ai - Cheaper, Lighter, Faster Enterprise AI platform that makes sense of your image, text and behavioral data to automate decision for cost/man power reduction or revenue increase.