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.

Articul8 is a GenAI platform designed to bring order to chaos by enabling users to build sophisticated enterprise applications using their expertise. It offers features such as autonomous decision-making, automated data intelligence, and a library of specialized models. The platform aims to provide faster time to ROI, improved accuracy, and precision, along with rich semantic understanding of data. Articul8 is engineered for regulated industries and offers observability, traceability, and auditability at every step.

Anote is a human-centered AI company that provides a suite of products and services to help businesses improve their data quality and build better AI models. Anote's products include a data labeler, a private chatbot, a model inference API, and a lead generation tool. Anote's services include data annotation, model training, and consulting.

Surge AI is a data labeling platform that provides human-generated data for training and evaluating large language models (LLMs). It offers a global workforce of annotators who can label data in over 40 languages. Surge AI's platform is designed to be easy to use and integrates with popular machine learning tools and frameworks. The company's customers include leading AI companies, research labs, and startups.

Hanooman.AI is an advanced artificial intelligence tool that leverages machine learning algorithms to provide intelligent solutions for various industries. The application offers a wide range of features such as natural language processing, image recognition, predictive analytics, and personalized recommendations. With Hanooman.AI, users can automate repetitive tasks, gain valuable insights from data, and enhance decision-making processes. The platform is designed to be user-friendly and scalable, making it suitable for both individuals and businesses looking to harness the power of AI technology.

Infermatic.ai is a platform that provides access to top Large Language Models (LLMs) with a user-friendly interface. It offers complete privacy, robust security, and scalability for projects, research, and integrations. Users can test, choose, and scale LLMs according to their content needs or business strategies. The platform eliminates the complexities of infrastructure management, latency issues, version control problems, integration complexities, scalability concerns, and cost management issues. Infermatic.ai is designed to be secure, intuitive, and efficient for users who want to leverage LLMs for various tasks.

Derwen is an open-source integration platform for production machine learning in enterprise, specializing in natural language processing, graph technologies, and decision support. It offers expertise in developing knowledge graph applications and domain-specific authoring. Derwen collaborates closely with Hugging Face and provides strong data privacy guarantees, low carbon footprint, and no cloud vendor involvement. The platform aims to empower AI engineers and domain experts with quality, time-to-value, and ownership since 2017.

Voxel51 is an AI tool that provides open-source computer vision tools for machine learning. It offers solutions for various industries such as agriculture, aviation, driving, healthcare, manufacturing, retail, robotics, and security. Voxel51's main product, FiftyOne, helps users explore, visualize, and curate visual data to improve model performance and accelerate the development of visual AI applications. The platform is trusted by thousands of users and companies, offering both open-source and enterprise-ready solutions to manage and refine data and models for visual AI.

NVIDIA is a world leader in artificial intelligence computing. The company's products and services are used by businesses and governments around the world to develop and deploy AI applications. NVIDIA's AI platform includes hardware, software, and tools that make it easy to build and train AI models. The company also offers a range of cloud-based AI services that make it easy to deploy and manage AI applications. NVIDIA's AI platform is used in a wide variety of industries, including healthcare, manufacturing, retail, and transportation. The company's AI technology is helping to improve the efficiency and accuracy of a wide range of tasks, from medical diagnosis to product design.

Plat.AI is an automated predictive analytics software that offers model building solutions for various industries such as finance, insurance, and marketing. It provides a real-time decision-making engine that allows users to build and maintain AI models without any coding experience. The platform offers features like automated model building, data preprocessing tools, codeless modeling, and personalized approach to data analysis. Plat.AI aims to make predictive analytics easy and accessible for users of all experience levels, ensuring transparency, security, and compliance in decision-making processes.

Datature is an all-in-one platform for building and deploying computer vision models. It provides tools for data management, annotation, training, and deployment, making it easy to develop and implement computer vision solutions. Datature is used by a variety of industries, including healthcare, retail, manufacturing, and agriculture.

PyAI is an advanced AI tool designed for developers and data scientists to streamline their workflow and enhance productivity. It offers a wide range of AI capabilities, including machine learning algorithms, natural language processing, computer vision, and more. With PyAI, users can easily build, train, and deploy AI models for various applications, such as predictive analytics, image recognition, and text classification. The tool provides a user-friendly interface and comprehensive documentation to support users at every stage of their AI projects.

Predibase is a platform for fine-tuning and serving Large Language Models (LLMs). It provides a cost-effective and efficient way to train and deploy LLMs for a variety of tasks, including classification, information extraction, customer sentiment analysis, customer support, code generation, and named entity recognition. Predibase is built on proven open-source technology, including LoRAX, Ludwig, and Horovod.

Superlinked is a compute framework for your information retrieval and feature engineering systems, focused on turning complex data into vector embeddings. Vectors power most of what you already do online - hailing a cab, finding a funny video, getting a date, scrolling through a feed or paying with a tap. And yet, building production systems powered by vectors is still too hard! Our goal is to help enterprises put vectors at the center of their data & compute infrastructure, to build smarter and more reliable software.

Obviously AI is a no-code AI tool that allows users to build and deploy machine learning models without writing any code. It is designed to be easy to use, even for those with no data science experience. Obviously AI offers a variety of features, including model building, model deployment, model monitoring, and integration with other tools. It also provides expert support from a dedicated data scientist.

Confident AI is an open-source evaluation infrastructure for Large Language Models (LLMs). It provides a centralized platform to judge LLM applications, ensuring substantial benefits and addressing any weaknesses in LLM implementation. With Confident AI, companies can define ground truths to ensure their LLM is behaving as expected, evaluate performance against expected outputs to pinpoint areas for iterations, and utilize advanced diff tracking to guide towards the optimal LLM stack. The platform offers comprehensive analytics to identify areas of focus and features such as A/B testing, evaluation, output classification, reporting dashboard, dataset generation, and detailed monitoring to help productionize LLMs with confidence.

RoostGPT is an AI-driven testing copilot that offers automated test case generation and code scanning services. It leverages Generative-AI and Large Language Models (LLMs) to provide reliable software testing solutions. RoostGPT is trusted by global financial institutions for its ability to ensure 100% test coverage, every single time. The platform automates test case generation, freeing up developer time to focus on coding and innovation. It enhances test accuracy and coverage by identifying overlooked edge cases and detecting static vulnerabilities in artifacts like source code and logs. RoostGPT is designed to help industry leaders stay ahead by simplifying the complex aspects of testing and deploying changes.

Tusk is an AI testing platform that helps users with API, unit, and integration testing. It leverages AI-enabled tests to prevent regressions, cover edge cases, and generate verified test cases for faster and safer shipping. Tusk offers features like shift-left testing, autonomous testing, self-healing tests, and code coverage enforcement. It is trusted by engineering leaders at fast-growing companies and aims to halve engineering release cycles by catching bugs early. The platform is designed to provide high-quality tests to reach coverage goals and increase code quality.

Teste.ai is an AI-powered platform that allows users to create software testing scenarios and test cases using top-notch artificial intelligence technology. The platform offers a variety of tools based on AI to accelerate the software quality testing journey, helping testers cover a wide range of requirements with a vast array of test scenarios efficiently. Teste.ai's intelligent features enable users to save time and enhance efficiency in creating, executing, and managing software tests. With advanced AI integration, the platform provides automatic generation of test cases based on software documentation or specific requirements, ensuring comprehensive test coverage and precise responses to testing queries.

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.

QA.tech is an advanced end-to-end testing application designed for B2B SaaS companies. It offers AI-powered testing solutions to help businesses ship faster, cut costs, and improve testing efficiency. The application features an AI agent named Jarvis that automates the testing process by scanning web apps, creating detailed memory structures, generating tests based on user interactions, and continuously testing for defects. QA.tech provides developer-friendly bug reports, supports various web frameworks, and integrates with CI/CD pipelines. It aims to revolutionize the testing process by offering faster, smarter, and more efficient testing solutions.

BottleneckCalculator.biz is an AI tool designed to optimize system performance for AI workloads, specifically focusing on AI photo generation. The website provides a comprehensive guide on creating stunning visual content using AI technology, covering key concepts, essential tools, advanced techniques, system requirements, and future trends in AI photo generation.

XenonStack is an AI application that offers a reasoning foundry for agentic enterprises. It provides unified reasoning foundation enabling seamless orchestration, analytics, infrastructure, and trust across intelligent ecosystems. The platform includes various AI tools such as Akira AI for reasoning and agent orchestration, ElixirData for agentic analytics intelligence, NexaStack for agentic infrastructure automation, MetaSecure for trust, compliance, and defense, and Neural AI for agentic intelligence & autonomous innovation. It also offers pre-built autonomous agents for domain-specific intelligence, seamless integrations, and governed enterprise deployment.

BlockSurvey is an AI-powered survey assistant that offers a comprehensive platform for creating, analyzing, and optimizing surveys with advanced AI capabilities. It prioritizes user data privacy and security, providing end-to-end encryption and compliance with industry standards. The platform features AI survey creation, analysis, thematic analysis, sentiment analysis, adaptive questioning, and sample responses generation. It also offers features like data encoding, survey optimization, secure surveys, anonymous surveys, and customization options. BlockSurvey caters to various industries and functions, ensuring privacy-first surveys with zero knowledge and decentralized survey capabilities.

Maigon is a state-of-the-art AI application designed for contract review. It offers efficiency in closing deals fast by providing AI-driven contract review tools that screen agreements, answer legal questions, and offer guidance for finalizing contracts in record time. Maigon integrates the latest deep learning technology and supports various contract types based on customer demand. The platform also announced the integration of OpenAI's GPT-4, enhancing the compliance review experience for clients. Maigon is trusted by industry leaders to automate the legal document review process, allowing companies to focus on strategic tasks.

Peslac AI is an intelligent document processing and data extraction tool that offers efficient document processing, custom workflows, and secure digital signatures. It automates the extraction of data from various document types using advanced AI technology, transforms unstructured documents into actionable insights, and streamlines document-heavy workflows with intelligent automation. Peslac serves industries such as insurance, finance, healthcare, legal, and others by automating claims processing, compliance documentation, patient records processing, legal forms, and more. The tool provides seamless integration via API, precise data extraction, and customizable AI models to enhance operational efficiency and accuracy.

Escape is an AI-powered Dynamic Application Security Testing (DAST) tool designed to work seamlessly with modern technology stacks, focusing on testing business logic and helping developers remediate vulnerabilities efficiently. It provides a comprehensive platform for API security, including API discovery, security testing, and GraphQL support. Escape offers features such as AI-powered DAST, API discovery & security, business logic security testing, CI/CD integration, and tailored remediations. The tool aims to streamline security workflows, improve risk reduction, and simplify compliance management for various industries.

My Voice AI is an advanced voice identity security infrastructure that provides privacy-preserving, real-time voice authentication and deepfake protection. It is designed to reduce fraud, impersonation, and identity risk in voice-based interactions by offering speaker verification, anti-spoofing, and deepfake detection capabilities. The platform operates as a voice identity layer integrated into existing infrastructure, offering enterprise-grade latency, privacy-first architecture, and deterministic behavior suitable for audits. My Voice AI is purpose-built for regulated environments, such as financial institutions, critical services, and governments, where identity assurance is crucial to mitigate operational risks.

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.

Base64.ai is an AI-powered document intelligence platform that offers a comprehensive solution for document processing and data extraction. It leverages advanced AI technology to streamline workflows, improve accuracy, and drive digital transformation for organizations. With features like Generative AI agents, workflow automation, and data intelligence, Base64.ai enables users to extract insights from structured and unstructured documents with ease. The platform is designed to enhance efficiency, reduce processing time, and increase productivity by eliminating manual document processing tasks.

GetLegal.ai is an AI-powered legal platform that provides comprehensive legal services and resources to individuals and businesses. The platform utilizes advanced artificial intelligence algorithms to offer legal advice, document preparation, contract review, and other legal solutions. With a user-friendly interface, GetLegal.ai aims to simplify the legal process and make legal services more accessible to a wider audience.

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

Schwarzthal Tech's Wunderschild is an AI-driven platform for financial crime intelligence that revolutionizes compliance and investigation techniques. It provides intelligence solutions based on network assessment, data linkage, flow aggregation, and machine learning. The platform offers expertise and 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 empowers users to enhance compliance functions, conduct deep dives into complex transnational crime cases, and detect suspicious activities. The platform is trusted by global companies and offers advanced OCR, multilingual support, and key information extraction capabilities.

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 offers seamless setup, contextualized data tracking, secure data storage, and trusted integrations with hosting partners. It is a robust and reliable solution for audit & compliance, observability & troubleshooting, data recovery, and building activity feeds. Bemi is trusted by top tech companies for its efficiency and ease of use.

Valossa is an AI tool that offers Video Analysis AI services, including Video-to-Text, Search, Captions, Clips, and more. It provides solutions for generating video transcripts, captions, and logging, enabling brand-safe contextual advertising, automatically clipping promo videos, identifying sensitive content for compliance, and analyzing video moods and sentiment. Valossa's AI understands video like a human does, offering advanced video automation tools for various industries.

Kintsugi Vertex is an AI-powered sales tax automation tool designed to help companies globally in monitoring, filing, and optimizing sales tax. It automates compliance in three simple steps: connecting and monitoring billing, payment, and HR systems; registering and collecting the right tax with precise rules; and remitting and filing taxes seamlessly. The tool eliminates manual tax calculations, compliance headaches, and unexpected fees, making tax reporting and filing a breeze. It offers white glove support and accurate Nexus tracking to ensure compliance without the complexity of tax requirements. Kintsugi Vertex is trusted by leading businesses worldwide for its end-to-end tax compliance solutions.

DryRun Security is an AI-driven application security tool that provides Contextual Security Analysis to detect and prevent logic flaws, authorization gaps, IDOR, and other code risks. It offers features like code insights, natural language code policies, and customizable notifications and reporting. The tool benefits CISOs, security leaders, and developers by enhancing code security, streamlining compliance, increasing developer engagement, and providing real-time feedback. DryRun Security supports various languages and frameworks and integrates with GitHub and Slack for seamless collaboration.

Cape.ai is an agentic AI platform designed for financial operations, offering AI-powered automation to enhance reach, insight, and efficiency in daily operations for financial firms. The platform is built on real-world customer use cases, providing tangible business ROI by integrating structured and unstructured data sources, automating complex manual processes, and offering context-aware insights. Users have control over their data and processes, with customizable workflows and human-in-the-loop capabilities. Cape.ai enables flexible implementation of agentic and deterministic automation, with seamless integrations for various financial workflows and direct access to leading financial data providers. The platform empowers users to create powerful AI agents without technical barriers, unlocking real business value with speed and confidence.

Evervault is a flexible payments security platform that provides maximum protection with minimum compliance burden. It allows users to easily tokenize cards, optimize margins, comply with PCI standards, avoid gateway lock-in, and set up card issuing programs. Evervault is trusted by global leaders for securing sensitive payment data and offers features like PCI compliance, payments optimization, card issuing, network tokens, key management, and more. The platform enables users to accelerate card product launches, build complex card sharing workflows, optimize payment performance, and run highly sensitive payment operations. Evervault's unique encryption model ensures data security, reduced risk of data breach, improved performance, and maximum resiliency. It offers agile payments infrastructure, customizable UI components, cross-platform support, and effortless scalability, making it a developer-friendly solution for securing payment data.

Checkr is an AI-powered platform that offers employee background screening services for companies. It provides a range of background check services including criminal background checks, employment verification, driving record checks, drug testing, and more. Checkr aims to streamline the hiring process by delivering fast and accurate reports to help organizations make confident decisions while reducing compliance risks.

Compliance.sh is a website that provides services related to compliance and privacy. It offers tools and resources to help individuals and businesses ensure they are following regulations and protecting sensitive information. The platform covers a wide range of compliance topics and provides guidance on best practices to maintain trust and security. Users can access information in multiple languages and receive technical support for any inquiries.

The website '.Attorney' is a comprehensive search directory platform that provides resources across various industries and topics. It offers legal advice, law resources, business management, entrepreneurship, education, and professional development information. The platform helps users stay informed about breaking news events and their legal implications, guiding attorneys and clients in rapidly changing situations. '.Attorney' emphasizes the importance of media literacy skills, clear communication protocols, and legal preparedness in responding to breaking news effectively.

Telescope is an AI-powered platform for finance that offers a range of solutions for trading, investing, portfolio insights, signal detection, content conversion, compliance, and more. It combines frontier language models with safety and compliance features to provide trustworthy AI intelligence for financial institutions. The platform enables users to personalize solutions, enhance engagement, scale portfolio strategies, and embed AI recommendations in various financial activities.

Equixly is an AI-powered application designed to help users secure their APIs by identifying vulnerabilities and weaknesses through continuous security testing. The platform offers features such as scalable API PenTesting, attack simulation, mapping of attack surfaces, compliance simplification, and data exposure minimization. Equixly aims to streamline the process of identifying and fixing API security risks, ultimately enabling users to release secure code faster and reduce their attack surface.

Hotseat AI is a legal research assistant that allows users to search through a collection of legal documents to find expert-level quotes matching their queries in seconds. It offers semantic search capabilities, metadata extraction, and the ability to search over 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 is trainable and can work with different types of voting procedures and electoral systems in any country. Revisor operates based on video recordings, allowing immediate results after an election or even months and years later.