Evidence-first infrastructure for reproducible, isolated executable evaluation and online rewards.
☆295Oct 7, 2026Updated 3 weeks ago
Alternatives and similar repositories for VeriRun
Users that are interested in VeriRun are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Unified Trust Framework☆203Sep 11, 2026Updated last month
- AuditMind 是一个面向法规合规与审计场景的 AI Agent 系统,支持法规知识管理、可追溯规则抽取、文档合规审计、审计任务管理和基于原文证据的智能问答☆77Sep 10, 2026Updated last month
- Govern: one Decionis verdict before a workflow step runs — a deploy, a migration, an infrastructure change, an agent's action — with a si…☆247Sep 21, 2026Updated last month
- ☆489Oct 21, 2026Updated 2 weeks ago
- 🌊 DeepSeek Harness 海洋皮肤与动态主题 | Real-time ocean theme with adjustable waves, sunset & glass opacity. DSH plugin + Chrome/Edge extension; …☆388Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Learn Soroban with our AI assistant that generates smart contract templates based on real world use-cases☆117Aug 28, 2026Updated 2 months ago
- ☆971Aug 6, 2026Updated 3 months ago
- Modern ECS framework for .NET☆124Updated this week
- Govern consequential AI agent actions in Docker with deterministic policy, human approval, and signed Decision Dossiers.☆148Aug 25, 2026Updated 2 months ago
- Grasp helps you manage multiple projects and parallel coding agents in one visual workflow, so humans can understand faster and ship more…☆367Updated this week
- wazuh azure security-operations siem mistral llm hipaa terraform aks mlops soc open-source azure-api-management lora fine-t…☆190Updated this week
- Youjian shared focus space☆162Oct 16, 2026Updated 3 weeks ago
- All Channel One Brain - CRM with one Brain☆294Oct 2, 2026Updated last month
- Multi-agent department framework for long-form complex tasks, fighting AI hallucination, validated on academic research. 共识管线:多智能体部门长线任务解…☆120Oct 10, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A minimal catalog of my favourite skills for working with claude☆120Oct 14, 2026Updated 3 weeks ago
- MCP server for ArcticDB☆724Oct 20, 2026Updated 2 weeks ago
- The open-source workspace where Claude Code, Codex and OpenCode work from the same local Pages.☆61Updated this week
- Cortex local-first personal memory app☆875Oct 18, 2026Updated 2 weeks ago
- Decentralized P2P mesh for autonomous AI agents — self-sovereign identity, peer-to-peer chat, and on-device AI that negotiates tasks on y…☆3,050Oct 24, 2026Updated last week
- Non-destructive compression gateway for AI coding agents. Cuts token bills 25% on turn 1 to past 85% in long or saturated sessions, and f…☆1,443Oct 6, 2026Updated last month
- The open-source Devin alternative. Run Claude Code, Codex or OpenCode in isolated cloud workspaces you can self-host.☆370Updated this week
- DeepSeek Harness plugin: control the Unity Editor through the unity CLI☆63Sep 28, 2026Updated last month
- A multi backend DSL to LLM to Code for any language . whatever the hell you want.☆66Aug 29, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Open-source gateway that puts authorization in front of every action your AI agents, workflows and pipelines take, before it commits: pay…☆671Updated this week
- Open-source Polymarket clone | 开源预测市场平台 — On-chain USDT escrow on Polygon. Vue 3 + Solidity + Java. Buy Yes/No shares on real-world even …☆195Oct 27, 2026Updated last week
- The trust layer for your AI agent on any platform. Trace and evaluate your agent. Full Observability. Run Model portability analysis. Aut…☆85Updated this week
- 🎬AI-Powered Director: MiniMax-H3 Video Generation Plugin Directed by DeepSeek-Harness. 🤖More than Prompting. 🪄Canvas UI.☆69Sep 28, 2026Updated last month
- GPT Image 2.5 prompts, verbatim and credited: 150 community prompts across 9 use cases, each with the author who wrote it and their post.…☆573Sep 11, 2026Updated last month
- Interactive Social Media Simulation of Believable Human Proxies☆74Aug 28, 2026Updated 2 months ago
- Your self-hosted apps served to your phone, end-to-end encrypted and privately.☆55Oct 26, 2026Updated last week
- Open-source SEO platform. Track Google rankings. Research keywords. Inspect backlinks.☆594Updated this week
- See what your coding agents did and what it cost. Breaks each task down into work steps — tools used, files changed, tests run, time and …☆755Oct 3, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An ancient Chinese divine beast, now reincarnated as an enterprise-grade VibeCoding assistant.☆619Updated this week
- 小红书API、小红书接口、小红书爬虫示例。☆68Sep 23, 2026Updated last month
- Core IaaS engine and cloud infrastructure foundation of ZSvirt☆2,095Updated this week
- a desktop application for real-time Bible verse detection during live sermons. 🙂☆81Aug 29, 2026Updated 2 months ago
- Public release repository for Narrant☆69Sep 3, 2026Updated 2 months ago
- 🌀 AI Inspiration Capture — Browser Extension + Telegram Bot + Web Dashboard☆123Aug 23, 2026Updated 2 months ago
- ☆21Sep 17, 2026Updated last month