Open-source test harness for AI agents. Stress-test production agents with adversarial multi-turn scenarios in CI
☆28Aug 14, 2026Updated last month
Alternatives and similar repositories for proofagent-harness
Users that are interested in proofagent-harness are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Jan 12, 2022Updated 4 years ago
- ☆29Jan 19, 2026Updated 7 months ago
- ☆25Apr 8, 2026Updated 5 months ago
- Repository for paper: Contexts are Never Long Enough: Structured Reasoning for Scalable Question Answering over Long Document Sets☆30Apr 27, 2026Updated 4 months ago
- ICDCS 2021, "StripeMerge: Efficient Wide-Stripe Generation for Large-Scale Erasure-Coded Storage"☆13Jul 19, 2021Updated 5 years 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.
- Source code for our paper: "Think Fast and Slow: Step-Level Cognitive Depth Adaptation for LLM Agents".☆25Feb 20, 2026Updated 6 months ago
- ☆23Feb 16, 2023Updated 3 years ago
- 🧬 Viral genome reference alignment☆12Jan 26, 2021Updated 5 years ago
- Knock your images before you get stressed.☆11Aug 5, 2026Updated last month
- Official Code Repository for OmniRetrieval☆35Jun 1, 2026Updated 3 months ago
- RxDB Plugin based on FlexSearch implementation☆12Aug 3, 2023Updated 3 years ago
- Simple and Ideal Circuit Simulation☆13Dec 4, 2017Updated 8 years ago
- https://github.com/PRBonn/kiss-icp☆11Dec 6, 2022Updated 3 years ago
- Computer-Use Agents as Judges for Generative UI☆45Nov 27, 2025Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Intro to using DSPy with Kuzu to enrich the data within the Nobel Laureate mentorship network☆16Sep 16, 2025Updated last year
- RoboPhD: Evolving Diverse Complex Agents Under Tight Evaluation Budgets☆30Sep 8, 2026Updated last week
- Certifiable solvers for the relative pose problem (RPp) with known gravity vector☆13Feb 16, 2023Updated 3 years ago
- ☆16Feb 9, 2024Updated 2 years ago
- Create bots for OBS and Twitch graphically☆14Jul 21, 2023Updated 3 years ago
- SPECjvm2008 Benchmark Suite☆20Jan 22, 2016Updated 10 years ago
- Visatronic: A Multimodal Decoder-Only Model for Speech Synthesis☆15Sep 11, 2026Updated last week
- API client for fetching and comparing passages from legislation☆14Jun 29, 2026Updated 2 months ago
- Upskill your model: Flash price. Pro performance.☆95Jul 26, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A Visual Document Benchmark for Scientific Retrieval and Question Answering☆35Aug 17, 2026Updated last month
- ☆17Sep 1, 2026Updated 2 weeks ago
- Towards an implementation of hierarchical temporal memory and the cortical learning algorithm by Jeff Hawkins and Dileep George of Nument…☆12Mar 15, 2017Updated 9 years ago
- Analyze and cure awesome lists by collecting, processing and presenting data from listed Git projects.☆20Oct 12, 2025Updated 11 months ago
- Automate AI testing & ensure model trustworthiness☆13Nov 16, 2024Updated last year
- Talon docs.☆14Mar 2, 2020Updated 6 years ago
- ☆17Feb 12, 2025Updated last year
- ☆28Apr 28, 2026Updated 4 months ago
- Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.☆17Oct 12, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Opinionated Go Project Template☆13Updated this week
- Simple, small, fully-connected Python version of NeoRL☆11Jan 29, 2016Updated 10 years ago
- Recursive AI System☆52Updated this week
- mcp server for robot and automations☆12Mar 20, 2026Updated 5 months ago
- arduino inkshield+5 button code for printing multiple messages☆12Jun 17, 2016Updated 10 years ago
- A Convex component for caching values that are expensive to compute☆15Updated this week
- A naive attempt at generating better prompts for opencode using DSPy☆17Nov 29, 2025Updated 9 months ago