Imandra

Imandra is a company that provides automated logical reasoning for Large Language Models (LLMs). Imandra's technology allows LLMs to build mental models and reason about them, unlocking the potential of generative AI for industries where correctness and compliance matter. Imandra's platform is used by leading financial firms, the US Air Force, and DARPA.

Automation Anywhere is a leading provider of intelligent automation and process intelligence solutions. The company's platform combines robotic process automation (RPA), artificial intelligence (AI), and analytics to help organizations automate complex business processes, improve efficiency, and reduce costs. Automation Anywhere's platform is used by a wide range of organizations, including Fortune 500 companies and government agencies. The company has a global presence with offices in over 40 countries.

Anduril Industries is a defense technology company that develops autonomous systems for land, sea, and air. The company's products include the Lattice operating system, which powers a family of autonomous systems that provide integrated, persistent awareness and security. Anduril also develops counter-UAS, counter-intrusion, and maritime counter-intrusion systems. The company's mission is to transform defense capabilities with advanced technology.

Shufti Pro is an award-winning global identity verification platform that provides businesses with a suite of tools to verify the identities of their customers. The platform uses artificial intelligence (AI) to automate the identity verification process, making it faster, more accurate, and more secure. Shufti Pro's solutions are used by businesses in a variety of industries, including banking, fintech, crypto, forex, gaming, insurance, education, healthcare, e-commerce, and travel.

Trust Stamp is a global provider of AI-powered identity services offering a full suite of identity tools, including biometric multi-factor authentication, document validation, identity validation, duplicate detection, and geolocation services. The application is designed to empower organizations across various sectors with advanced biometric identity solutions to reduce fraud, protect personal data privacy, increase operational efficiency, and reach a broader user base worldwide through unique data transformation and comparison capabilities. Founded in 2016, Trust Stamp has achieved significant milestones in net sales, gross profit, and strategic partnerships, positioning itself as a leader in the identity verification industry.

Giskard is an AI testing platform designed to help companies protect against biases, performance issues, and security risks in AI models. It offers automated detection of issues, compliance with regulations such as the EU AI Act, and unification of AI testing practices. Giskard streamlines the testing process, enhances collaboration between data scientists and business stakeholders, and provides tools for optimal model deployment.

Retrocausal is an AI Copilot platform designed to optimize manufacturing processes by leveraging computer vision and machine learning technology. It empowers operators, industrial engineers, and plant managers to enhance the quality, productivity, and traceability of manual processes. The platform offers features such as real-time feedback, analytics, time studies, automatic line balancing, continuous improvement suggestions, ergonomic analyses, quality planning, and more. Retrocausal ensures worker privacy through facial blurring and pixelation, integrates with existing IT and IIoT infrastructure, and is known for its security measures. The platform is widely recognized in the manufacturing industry for its innovative solutions and has received accolades from industry leaders.

AEye is a leading provider of software-defined lidar solutions for autonomous applications. Our 4Sight Intelligent Sensing Platform provides accurate, reliable, and real-time perception data to enable safer and more efficient navigation. AEye's lidar products are designed to meet the unique requirements of automotive, trucking, and smart infrastructure applications.

EthonAI is a Manufacturing Analytics System that offers a suite of software tools to achieve operational excellence at scale in manufacturing industries. The system provides real-time insights to improve product quality and process efficiency by analyzing production data from various sources. EthonAI helps in root cause analysis, defect detection, process monitoring, product tracking, and material flow analysis, ultimately redefining operational excellence in manufacturing.

Horizon3.ai Solutions offers the NodeZero™ Platform, an AI-powered autonomous penetration testing tool designed to enhance cybersecurity measures. The platform combines expert human analysis by Offensive Security Certified Professionals with automated testing capabilities to streamline compliance processes and proactively identify vulnerabilities. NodeZero empowers organizations to continuously assess their security posture, prioritize fixes, and verify the effectiveness of remediation efforts. With features like internal and external pentesting, rapid response capabilities, AD password audits, phishing impact testing, and attack research, NodeZero is a comprehensive solution for large organizations, ITOps, SecOps, security teams, pentesters, and MSSPs. The platform provides real-time reporting, integrates with existing security tools, reduces operational costs, and helps organizations make data-driven security decisions.

Logically is an AI-powered platform that helps governments, NGOs, and enterprise organizations detect and address harmful and deliberately inaccurate information online. The platform combines artificial intelligence with human expertise to deliver actionable insights and reduce the harms associated with misleading or deceptive information. Logically offers services such as Analyst Services, Logically Intelligence, Point Solutions, and Trust and Safety, focusing on threat detection, online narrative detection, intelligence reports, and harm reduction. The platform is known for its expertise in analysis, data science, and government affairs, providing solutions for various sectors including Corporate, Defense, Digital Platforms, Elections, National Security, and NGO Solutions.

Motive is an all-in-one fleet management platform that provides businesses with a variety of tools to help them improve safety, efficiency, and profitability. Motive's platform includes features such as AI-powered dashcams, ELD compliance, GPS fleet tracking, equipment monitoring, and fleet card management. Motive's platform is used by over 120,000 companies, including small businesses and Fortune 500 enterprises.

Ascento is an AI-powered robotics solution that enhances security by utilizing robotics and AI technology to secure assets and provide quantitative insights of premises. The application offers features such as detecting people on premises, verifying perimeter integrity, recording property lights, scanning for thermal anomalies, controlling parking lots, and checking doors and windows. Ascento provides advantages like faster threat detection with greater accuracy, cost reduction, autonomous operation, all-terrain capabilities, and comprehensive Robotics-as-a-Service solution. However, some disadvantages include the need for immediate cost-benefits, training and onboarding requirements, and potential limitations in certain weather conditions.

VisionLabs is a leading provider of facial recognition technology that enhances digital identity experiences. Their Artificial Intelligence and Machine Learning technology, based on neural network algorithms, ensures a safer and more secure world, enabling seamless navigation in the digital realm. With applications in over 60 countries across various industries, VisionLabs aims to facilitate better and safer interactions through facial recognition technology.

Recognito is a leading facial recognition technology provider, offering the NIST FRVT Top 1 Face Recognition Algorithm. Their high-performance biometric technology is used by police forces and security services to enhance public safety, manage individual movements, and improve audience analytics for businesses. Recognito's software goes beyond object detection to provide detailed user role descriptions and develop user flows. The application enables rapid face and body attribute recognition, video analytics, and artificial intelligence analysis. With a focus on security, living, and business improvements, Recognito helps create safer and more prosperous cities.

CompliantChatGPT is a HIPAA-compliant platform that allows users to utilize OpenAI's GPT models for healthcare-related tasks while maintaining data privacy and security. It anonymizes protected health information (PHI) by replacing it with tokens, ensuring compliance with HIPAA regulations. The platform offers various modes tailored to specific healthcare needs, including bloodwork analysis, PHI anonymization, diagnosis assistance, and treatment planning. CompliantChatGPT streamlines healthcare tasks, enhances productivity, and provides user-friendly assistance through its intuitive interface.

Roost.ai is an AI-driven testing tool that offers automated test case generation using Large Language Models (LLMs). It helps in building reliable software by providing 100% test coverage, every single time. Roost.ai acts as a testing co-pilot, powered by generative AI, and is trusted by global financial institutions. The tool automates test case generation, freeing up developer time to focus on coding and innovation. It enhances test accuracy and coverage by uncovering overlooked edge cases and detects static vulnerabilities in artifacts like source code and logs.

Keploy is an AI-powered open-source platform designed to help developers generate API tests efficiently. It converts API calls into test cases with data mocks, enabling users to achieve up to 90% test coverage in just 2 minutes. Keploy simplifies the testing process by eliminating the need for manual test writing and providing a code-less integration experience. The platform is trusted by various companies for its ability to enhance testing thoroughness, save time, and improve test quality.

Imandra is a company that provides automated logical reasoning for Large Language Models (LLMs). Imandra's technology allows LLMs to build mental models and reason about them, unlocking the potential of generative AI for industries where correctness and compliance matter. Imandra's platform is used by leading financial firms, the US Air Force, and DARPA.

Bito AI is an AI-powered code review tool that helps developers write better code faster. It provides real-time feedback on code quality, security, and performance, and can also generate test cases and documentation. Bito AI is trusted by developers across the world, and has been shown to reduce review time by 50%.

Autify is an AI testing company focused on solving challenges in automation testing. They aim to make software testing faster and easier, enabling companies to release faster and maintain application stability. Their flagship product, Autify No Code, allows anyone to create automated end-to-end tests for applications. Zenes, their new product, simplifies the process of creating new software tests through AI. Autify is dedicated to innovation in the automation testing space and is trusted by leading organizations.

TestArmy is an AI-driven software testing platform that offers an army of testing agents to help users achieve software quality by balancing cost, speed, and quality. The platform leverages AI agents to generate Gherkin tests based on user specifications, automate test execution, and provide detailed logs and suggestions for test maintenance. TestArmy is designed for rapid scaling and adaptability to changes in the codebase, making it a valuable tool for both technical and non-technical users.

AI Generated Test Cases is an innovative tool that leverages artificial intelligence to automatically generate test cases for software applications. By utilizing advanced algorithms and machine learning techniques, this tool can efficiently create a comprehensive set of test scenarios to ensure the quality and reliability of software products. With AI Generated Test Cases, software development teams can save time and effort in the testing phase, leading to faster release cycles and improved overall productivity.

Remy is an AI-powered platform designed to help product security and compliance teams resolve security risks early. It offers scalable design review capabilities, automates review initiation, generates tailored questions, and provides clear metrics and audit trails. Remy aims to augment and scale product security teams by ensuring full visibility on risky engineering plans and automating tedious review processes. The platform is built for enterprise readiness, offering SSO for convenient logins, scalability, and customization.

Maigon is a state-of-the-art AI application designed for contract review. It offers efficiency in closing deals fast by providing AI-driven tools for screening agreements, answering legal questions, and guiding the finalization of contracts in record time. Maigon integrates the latest deep learning technology and OpenAI's GPT-4 to ensure maximum accuracy and efficiency in compliance review. The platform supports various legal documents such as data processing agreements, privacy policies, non-disclosure agreements, consultancy agreements, product supply agreements, R&D agreements, and end user license agreements. Maigon's key features include quick start, using its own data for training, always up-to-date solutions, custom playbook integration, unmatched speed, on-premise availability, multilingual support, state-of-the-art technology, and trusted by industry leaders.

OpenBuckets is a web application designed to help users find and secure open buckets in cloud storage systems. The platform scans various cloud storage services to identify publicly accessible buckets, which may contain sensitive data. By detecting these open buckets, OpenBuckets aims to enhance data security and privacy for individuals and organizations. Users can easily search for open buckets and take necessary actions to secure their data, thereby mitigating the risk of unauthorized access and data breaches.

Peslac AI is an intelligent document processing solution that leverages advanced AI technology to transform complex documents into structured data, streamline document-heavy workflows, and automate data extraction and form processing. It offers insights through document analysis, workflow automation, and tailored solutions for various industries such as insurance, finance, healthcare, legal, and more. Peslac aims to enhance operational efficiency, accuracy, and speed by automating document-heavy processes and providing seamless integration with existing systems.

Dili is an AI Diligence Platform that automates diligence processes for various industries such as Real Estate, Private Equity, and Venture Capital. It helps users extract key data, summarize documents, flag issues, and generate reports with high accuracy and efficiency. Dili's advanced features include instant data extraction, spreadsheet support, red flag identification, intelligent document search, and risk assessments. The platform is designed to improve decision-making by providing reliable insights and reducing human errors in due diligence procedures.

The website offers a solution for creating EU E-Labels for wine in compliance with the new EU label regulation. Users can easily generate E-Labels for their wines with the help of legal experts, without prior knowledge, and at fair prices. The platform also provides webinars, a knowledge base, and a blog to support users in understanding and implementing the regulations. Users can sign up for free, receive 3 free e-labels, and request custom quotes based on their needs.

Escape is an API Security Platform that offers automated API discovery and security solutions. It helps users secure their APIs at scale by providing features such as API documentation generation, automated testing, compliance management, and developer-friendly remediations. The platform aims to reinvent API security by offering fast deployment, comprehensive API visibility, and prioritization of critical vulnerabilities. Escape is trusted by over 2000 security teams worldwide and is designed to address the evolving challenges of API security in modern application architectures.

SimpliTerms is an AI tool that simplifies and summarizes lengthy privacy policies and terms of use into concise summaries of 100-300 words. It helps users understand crucial points without spending hours reading through complex legal documents. By providing AI-generated summaries, SimpliTerms aims to save time, prevent legal issues, and protect user privacy. The tool is easy to use and offers different pricing plans to cater to various user needs.

Robin AI is a legal AI application that accelerates contract review and analysis processes, providing precision edits, quick data querying, and fast contract turnaround times. The platform offers AI-native software solutions to empower legal teams, combining machine learning models and expert professionals to enhance contract management efficiency. With a focus on security and privacy, Robin AI ensures compliance with GDPR and industry standards, making it suitable for businesses handling sensitive data. The application is designed to streamline legal operations, improve contract processes, and deliver high-quality services to global enterprises.

Parsepolicy is an AI-powered tool that aims to make privacy policies more understandable for users. By utilizing advanced parsing technology, the tool simplifies legal terms, jargon, and complexities in privacy policies, breaking them down into easy-to-understand language. Users can generate a unique URL by entering their email address and paying with Stripe, receiving a simplified, human-readable privacy policy within minutes. The tool helps users gain insights into how their data is handled, understand their rights, and make informed decisions to protect their privacy online. Privacy and data security are top priorities, with cutting-edge encryption and secure protocols in place to ensure the confidentiality of personal information. Currently, the website is at the MVP stage.

Biscuits.ai is an AI-powered cookie policy generator that helps website owners create customized cookie policies. By simply entering the URL of your website, the tool automatically detects the cookies required and generates a comprehensive policy. Biscuits.ai simplifies the process of ensuring compliance with privacy regulations and provides users with a hassle-free solution for managing their website's cookie usage.

Schwarzthal Tech's Wunderschild is an AI-driven platform for financial crime intelligence. It revolutionizes compliance and investigation techniques by providing intelligence solutions based on network assessment, data linkage, flow aggregation, and machine learning. The platform offers insights on strategic risks related to Politically Exposed Persons, Serious Organised Crime, Terrorism Financing, and more. With features like Compliance, Investigation, Know Your Network, Media Scan, Document Drill, and Transaction Monitoring, Wunderschild helps in detecting suspicious activities, fraud patterns, and risk assessment. The platform is trusted by global companies for KYC, Enhanced Due Diligence, and multi-dimensional risk rating.

Bemi is an automatic audit trail tool designed for PostgreSQL databases. It allows users to track data changes reliably without the need for complex engineering or costly infrastructure. Bemi provides seamless setup, contextualized data tracking, and secure data storage with military-grade encryption. It offers trusted integrations with hosting partners and is proven to handle large data volumes. The tool is highly praised by tech professionals for its reliability and ease of use in tracking data changes.

Nightfall AI is a comprehensive data security platform that leverages AI technology to provide advanced data protection solutions. The platform offers features such as data loss prevention, data protection, and data privacy for AI applications. Nightfall AI helps organizations prevent secrets sprawl, data exfiltration, and safeguard personal information across various industries. With a focus on compliance and security, Nightfall AI enables secure AI usage and encrypts sensitive data automatically. The platform is designed to eliminate blind spots in data security and offers a better way to scan, detect, and remediate data risks effectively.

Choice Internet Brands, Inc. is a company offering global digital solutions and equity holdings. They invest in education, cybersecurity, digital startups, digital marketing, and compliance watch. One of their products is KidsChatGPT, a children's online privacy protection act compliant kids artificial intelligence chat bot platform-as-a-service for education and youth-related companies. They also offer Ai Kids Tablet, a complete Android 13 tablet with an offline A.I. chat companion for kids. Additionally, they provide HighlightFactCheck, a Chrome Extension that highlights text on any website and verifies if it's true or false.

Cape is an AI tool that offers solutions for sales, customer service, personalized marketing, KYC, and third-party risk management. It provides agentic search, workflow automation, and knowledge retrieval to enhance productivity and efficiency. Cape ensures data security with comprehensive user and data permissions. The platform leverages AI to streamline business processes and improve decision-making through insights retrieval.

Veriff.com is an AI-powered identity verification platform designed for fraud prevention, compliance, and enhancing customer safety. It offers a range of services such as document verification, proof of address, database verification checks, biometric authentication, and more. Veriff combines AI technology with human verification teams to ensure secure and seamless user experiences while combating fraudulent activities. The platform helps businesses build trusted digital communities, improve user experience, and drive growth by safeguarding customer identities.

Checkr is an employee background screening platform that offers a range of services to help companies make informed hiring decisions. The platform provides criminal background checks, employment verification, driving record checks, drug testing, education verification, and more. Checkr is designed to streamline the screening process with AI and automation, delivering fast and accurate results while enhancing the candidate experience. The platform caters to various industries and company sizes, offering integrations, compliance tools, and developer resources to support efficient background checks.

Telescope is a generative intelligence application designed for the finance industry. It leverages data and foundation models to co-pilot investors with AI, reducing investor paralysis and enhancing discovery. The application simplifies investment discovery for retail investors, enables stock discovery in innovative ways, and transforms official company announcements into polished articles. Telescope also provides chart pattern analysis, ensures compliance with ethical frameworks, and offers customizable AI-powered investment tools for trading platforms.

FlowX.AI is an AI-powered platform designed to modernize large financial institutions end-to-end. It offers solutions for application modernization, business process modernization, infrastructure modernization, and features AI agents to assist in various tasks. The platform aims to accelerate digital transformation, reduce time to market, and enhance efficiency in financial services. Trusted by leading banking institutions, FlowX.AI provides a no-code/low-code platform for legacy system replacement, integration, and compliance automation.

Equixly is an AI-powered application designed to help secure APIs by identifying vulnerabilities and weaknesses through continuous security testing. The platform offers features such as scalable API PenTesting, rapid remediation, attack simulation, mapping attack surface, compliance simplification, and data exposure minimization. Equixly aims to provide users with a comprehensive solution to enhance API security and reduce the risk of breaches.

Hotseat AI is a legal research assistant that allows users to search through legal documents and find expert-level quotes matching their queries in seconds. It offers semantic search capabilities, metadata extraction, and the ability to search over both public and private documents. The tool is currently in private beta with a focus on EU regulations related to tech, fintech, banking, and financial services.

Revisor is a neural network-based software package designed for monitoring compliance with electoral procedures and counting the number of actual voters. It utilizes AI-enabled monitoring to provide fast, reliable, and cost-effective election observation missions with high precision in voter counting. The system can detect ballot boxes, identify violations, and compare real turnout to official results. Revisor is trainable to work with different voting procedures and electoral systems, providing immediate or long-term results based on video recordings.

Airstrip AI is an AI-powered legal platform designed for modern businesses to create bespoke legal documents quickly and affordably. The platform utilizes AI technology to streamline the legal process, offering compliant and personalized documents tailored to specific requirements. Airstrip AI ensures data security through end-to-end encryption and provides hands-free assistance for document creation and management. With features like automated research, document revisions, and expert lawyer review, Airstrip AI empowers businesses to focus on growth without the added cost and time of traditional legal services.