ToolsCompaniesAbout

Results for “code verification”

25 tools in this category · Updated

“code verification”CodingUpdated: last 24 hoursShowing 25 tools
  • Decodeby DecodeA spatial whiteboard for directing coding agents building user interfaces.Unknown
  • CodeCrabby CodeCrabA desktop AI code reviewer that uses local AI command-line tools to review pull requests and local changes.Unknown
  • ECA - Editor Code Assistantby ECAOpen-source AI coding assistant connecting language models with editors, a desktop app, or a terminal client.Free
  • Atelierby AtelierA VS Code extension for managing Claude Code plans, tasks, and specs.Free
  • Canaryby CanaryYC W26Canary tests code changes made by AI coding agents.Contact sales
  • KAVIA AIby Kavia AIAI software engineering platform for understanding, planning, and changing complex codebases.Freemium
  • Interplayby Iterate.aiLow-code platform for building, running, and scaling agentic AI workflows across enterprise systems.Contact sales
  • Crushby CharmA terminal coding agent that works with your code, tools and chosen language model.Unknown
  • Overmindby OvermindA platform for tracing AI applications, preparing data, evaluating models, and training and serving specialized models.Freemium
  • Superconductorby SuperconductorA shared cloud workspace for teams to run coding agents and review their work.Freemium
  • Lightrun AI SREby LightrunAI agents for investigating and addressing software reliability incidents with live runtime evidence.Freemium
  • Farosby FarosFaros connects AI coding usage with engineering outcomes and provides tools to evaluate and govern model routing.Contact sales
  • PlayerZeroby PlayerZeroAI production engineering platform for investigating and validating production software changes.Contact sales
  • TestSavant.AIby TestSavant.AIAI testing and assurance platform for evaluating applications and tracking release risks.Freemium
  • Schematikby SchematikAI-assisted environment for designing and building microcontroller hardware projects.Unknown
  • CARBON by Testers.aiby testers.aiAI-assisted software testing harness for coding agentsFree
  • Jackalopeby JackalopeA desktop workspace for running coding agents in parallel and reviewing their changes.Free
  • AgentOneby Iterate.aiAI coding assistant with an IDE extension for enterprise development.Unknown
  • ChipAgentsby ChipAgentsAgentic AI platform for digital and analog semiconductor design.Contact sales
  • AgileRLby AgileRLOpen-source Python library for reinforcement learning and language-model post-training.Contact sales
  • Phonicby PhonicYC W20Speech-to-speech models and tools for building voice agents.Freemium
  • Vogentby VogentYC S21A platform for building, testing, and deploying conversational voice AI agents.Unknown
  • a0.devby a0.devYC W25AI coding agent for building and publishing mobile apps.Unknown
  • Replicasby ReplicasYC X26A cloud platform for running coding agents in isolated workspaces and returning engineering work for review.$50+/mo