Startup Ideas AI

Imandra Inc. is the home of Reasoning as a Service®. Their platform, built on advances in automated reasoning, brings rigorous logical reasoning to modern AI systems. It is used by researchers, corporations, and government agencies worldwide. Imandra offers tools for integrating automated logical reasoning into LLMs, applications, and agentic workflows, fostering the creation of trustworthy Neurosymbolic AI systems. Their products include ICL CodeLogician, Imandra Universe, Imandra Core, Imandra Markets, and Imandra Connectivity. They provide solutions for financial services, formal verification, trustworthy AI, system integration, autonomous systems, MBSD, and government & defense.

Xobin is an online assessment software designed to conduct glitch-free online assessment tests and video interviews. It automates screening with over 800 skills tests, coding tests, pre-hire tests, and psychometric tests. Xobin offers an all-in-one candidate assessment tool for technical and non-technical skill assessments, psychometric tests, pre-employment testing, and video interviews.

CyberSanctus is a cybersecurity company that offers CodeHound, an AI-enhanced smart contract auditing tool. CodeHound helps developers automate smart contract audits, detect vulnerabilities, and improve the security of blockchain projects. It integrates AI technology with static and dynamic scanners to perform deep analysis and provide detailed reports.

Codespect is an AI-powered code review tool designed to enhance code quality and streamline development workflows. It automatically analyzes GitHub Pull Requests, providing instant feedback and actionable improvement suggestions. Codespect offers features like AI code review, a code review cockpit, Pull Request statistics, ChatGPT code review, GitHub PR analysis, and automated code review to improve code quality and coding best practices.

Snapshot Reviews makes engineering organizations more effective by providing insights directly from code analysis, agile, and daily developer activities. It translates engineering work into real, actionable insights using recursive RAG, transformers and multi-modal AI, helping engineering leaders gain true visibility into their team's performance.

GitStart is a platform that provides elastic engineering capacity by combining LLMs and real developers to scale engineering teams. It transforms tickets into merge-ready PRs through a five-stage process with automated quality checkpoints, handling scoping, development, and QA. GitStart aims to help companies accelerate their software development by providing production-ready Pull Requests autonomously.

AppReview is an automatic code review tool for Microsoft Power Apps. It analyzes uploaded solution or legacy app zip files to extract key information, including experimental settings, screens, components, variables, formulas, connections, data sources, flows, environment variables, tables, and test scripts. It also provides code review scoring/flags and a simple screen diagram. A key feature is the ability to view all component code in one screen and identify connection privileges used.

ZAST.AI INC is an AI startup focused on cybersecurity, providing a unified security solution. Their platform autonomously detects, scrutinizes, and confirms vulnerabilities, offering developers and users smarter solutions to security weaknesses. ZAST.AI uses large-scale AI models to analyze code, identify security hazards, and provide recommendations for remedies and validation techniques. ZAST.AI Helper is a developer assistance tool that helps operations and security personnel by providing test account session information for system testing, enabling easy submission of test account session information for systems requiring login authentication.