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.

Langfuse is an AI tool that offers the Langfuse TypeScript SDK v4 for building and debugging LLM (Large Language Models) applications. It provides features such as tracing, prompt management, evaluation, and metrics to enhance the performance of LLM applications. Langfuse is backed by a team of experts and offers integrations with various platforms and SDKs. The tool aims to simplify the development process of complex LLM applications and improve overall efficiency.

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.

MegaMatcher ABIS Online is an automated biometric identification system developed by Neurotechnology. It offers a turnkey multi-biometric solution for government and enterprise applications worldwide. The system includes features such as enrollment, biometric matching, identity management, data analysis, and deployment options for cloud services or on-premise solutions. With support for fingerprint, face, iris, and palmprint biometric modalities, the system ensures high accuracy, reliability, and unlimited storage of biometric and demographic information. It also provides easy integration through RESTful API and SDK libraries, along with security features like role-based access control and auditability.

The ASI Platform, specifically the Prescience Platform, is an industry-proven AI tool designed for mission-critical operations. It offers data fusion, domain modeling, prediction, optimization, communications, and replay functionalities to help organizations anticipate and act with confidence in their operations. The platform enables seamless integration of data sources, provides predictive situational awareness, supports collaboration across operations, and allows for comprehensive retrospective analysis.

MaxKB is a ready-to-use, flexible RAG Chatbot that is based on Large Language Models (LLM) and Retrieval-Augmented Generation (RAG). It is widely applied in scenarios such as intelligent customer service, corporate internal knowledge bases, academic research, and education. MaxKB supports direct uploading of documents, automatic crawling of online documents, automatic text splitting, vectorization, and RAG for smart Q&A interactions. It also offers flexible orchestration, seamless integration into third-party systems, and supports various large models for enhanced user satisfaction.

SENEX is an AI-powered Blockchain company that aims to create the world's finest Intelligent Chain. It combines Artificial Intelligence with Blockchain technology to provide a privacy-compliant and secure platform for digital users and businesses. SENEX's Intelligent Chain distributes data processing across the network while keeping information private and secure, giving users the benefits of anonymity. The company's AI-powered solutions address various challenges and problems in industries such as healthcare, finance, transportation, and education.

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.

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.

Athina AI is a comprehensive platform designed to monitor, debug, analyze, and improve the performance of Large Language Models (LLMs) in production environments. It provides a suite of tools and features that enable users to detect and fix hallucinations, evaluate output quality, analyze usage patterns, and optimize prompt management. Athina AI supports integration with various LLMs and offers a range of evaluation metrics, including context relevancy, harmfulness, summarization accuracy, and custom evaluations. It also provides a self-hosted solution for complete privacy and control, a GraphQL API for programmatic access to logs and evaluations, and support for multiple users and teams. Athina AI's mission is to empower organizations to harness the full potential of LLMs by ensuring their reliability, accuracy, and alignment with business objectives.

expert.ai is an AI platform that offers natural language technologies and responsible AI integrations across various industries such as insurance, banking, publishing, and more. The platform helps streamline operations, extract critical data, drive revelations, ensure compliance, and analyze complex documents. It provides solutions for insurers, pharmaceuticals, publishers, and financial services companies, leveraging a hybrid AI approach and purpose-built natural language workflow. expert.ai's Green Glass Approach focuses on transparent, sustainable, practical, and human-centered AI solutions.

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.

Simudyne is an enterprise simulation software powered by AI technology. It allows large financial institutions to simulate various future scenarios efficiently and measure their impact in a safe virtual environment. The software offers solutions for environment, social and governance issues, market execution, financial crime analytics, and risk management. Simudyne's technology is secure, distributable, and Cloudera certified, providing a robust library of code for specialized functions. The platform also utilizes agent-based modeling to bridge the gap between theoretical and real-world scenarios in the financial services sector.

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.

LangChain is a framework for developing applications powered by large language models (LLMs). It simplifies every stage of the LLM application lifecycle, including development, productionization, and deployment. LangChain consists of open-source libraries such as langchain-core, langchain-community, and partner packages. It also includes LangGraph for building stateful agents and LangSmith for debugging and monitoring LLM applications.

RoostGPT is an AI-driven testing copilot 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. RoostGPT leverages generative AI to automate test case generation, freeing up developer time and enhancing test accuracy and coverage. It also detects static vulnerabilities in artifacts like source code and logs to ensure data security. The platform is trusted by global financial institutions and industry leaders for its ability to fill gaps in test coverage and simplify testing and deployment processes.

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.

BlurOn is an AI tool for automatic mosaic insertion in video editing. It offers high accuracy detection of faces, heads, and license plates, complying with regulations like GDPR. The tool allows for proper anonymization of personal information in videos, supports automatic processing upon server arrival, and provides cost-effective video editing services. BlurOn has been recognized with awards in the industry and is used in various sectors such as the automotive industry, insurance companies, and overseas for video data processing.

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 collaborates with OpenAI's GPT-4 to enhance compliance review experience for clients. With features like quick start, always up-to-date solutions, custom playbook, unmatched speed, and on-premise availability, Maigon is trusted by industry leaders to automate legal document review processes and make legal work more resource-efficient.

Peslac AI is an intelligent document processing and data extraction tool that offers efficient document processing, custom workflows, secure digital signatures, and advanced AI technology for extracting and analyzing data from various document types. It streamlines document-heavy workflows, automates form processing, and provides actionable insights through data visualization. Peslac serves industries like insurance, finance, healthcare, legal, and others by automating claims processing, compliance documentation, patient records processing, legal forms, and more. The platform offers innovative AI models, seamless integration, and scalable cloud infrastructure to enhance operational efficiency and accuracy.

b-cube.ai is an AI application that provides services related to crypto-assets. The platform is currently impacted by the EU's MiCA regulation, leading to a halt in new registrations and a planned cessation of operations. Existing users can access unstaking services until the platform shuts down. The company is considering operating under a new regulatory framework outside the EU. b-cube.ai s.r.l holds the rights to the platform from 2022 to 2025.

Robin is a Legal AI platform that offers AI-powered contract software services for enterprises. It provides instant insights from documents, reviews, analyzes, and finalizes contracts quickly, and allows for searchable conversations with AI. The platform features advanced search capabilities, smart alerts, and a structured workspace for legal teams. Robin is compliant with GDPR, ISO27001, and SOC2, ensuring high standards of privacy and security.

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 automate business decisions, improve efficiency, accuracy, and digital transformation. Base64.ai provides features such as GenAI models, Semantic AI, Custom Model Builder, Question & Answer capabilities, and Large Action Models to streamline document processing. The platform supports over 50 file formats and offers integrations with scanners, RPA platforms, and third-party software.

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.

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.

Airstrip AI is a personalized legal document creation platform powered by AI technology. It offers users the ability to easily generate compliant legal documents tailored to their specific business needs in minutes. The platform simplifies the legal process by providing end-to-end encrypted data management, automated research and analysis, and AI-driven Q&A for document revisions. Airstrip AI aims to empower businesses, especially small startups, with cost-effective and efficient legal solutions without the need for extensive legal knowledge.

Checklist.gg is an AI-driven checklist management tool designed to help organizations streamline their processes and ensure tasks are completed efficiently. The platform leverages the latest GPT AI engine to create customized checklists, processes, and SOPs tailored to specific needs. With features like task management, workflow management, real-time collaboration, integration with other tools, and a library of over 1,000 templates, Checklist.gg aims to reduce mistakes, save time and money, and drive continuous process improvement.

The website is currently displaying a message indicating that the account has been suspended. This typically happens when there are issues with the hosting provider or violations of terms of service. Users are advised to contact the hosting provider for further information.