A systematic empirical study of self-verification strategies in agentic coding harnesses
☆29Mar 4, 2026Updated 5 months ago
Alternatives and similar repositories for agent-verify
Users that are interested in agent-verify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hooks for Claude Code to prevent secrets and PII leakage☆18May 11, 2026Updated 2 months ago
- LLM inference in C/C++☆16Updated this week
- Convert a ChatGPT export into an Open-WebUI importable JSON.☆39Aug 11, 2025Updated 11 months ago
- Run OpenCode directly in your Obsidian sidebar.☆17Jan 12, 2026Updated 6 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆17Apr 7, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Updated voice agent with Nemotron 3.5 ASR☆17Jun 4, 2026Updated last month
- A zero-allocation, header-only C++ BPE tokenizer for Qwen, built for maximum inference throughput.☆22Apr 3, 2026Updated 4 months ago
- This repo helps to transform text into a better form for lora training☆12Apr 9, 2023Updated 3 years ago
- Creating diff that supports wildcard produced by LLMs☆16Sep 18, 2024Updated last year
- ☆37May 7, 2026Updated 2 months ago
- Lightweight Python library for formatting LLM chat prompts☆14Jan 22, 2024Updated 2 years ago
- ☆19Jul 27, 2026Updated last week
- Fuzzing Infrastructure with k8s & cephfs☆12Jul 23, 2020Updated 6 years ago
- ☆10Jul 18, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Lossless Context Management for Pi. DAG-based summarization with full history recovery.☆16Apr 2, 2026Updated 4 months ago
- Code for AttriBoT from "AttriBoT: A Bag of Tricks for Efficiently Approximating Leave-One-Out Context Attribution"☆15Apr 21, 2025Updated last year
- Files related to the SKR Mini E3 v2.0☆10Jun 16, 2020Updated 6 years ago
- 3D printer laser adapter☆10Dec 22, 2023Updated 2 years ago
- Transform any binary file to a PNG image☆13Jul 19, 2019Updated 7 years ago
- Pipecat Guess Who?☆16Aug 1, 2025Updated last year
- Synchronises Ableton Live to a live input such as microphone in the room or DJ playing record☆11Aug 14, 2014Updated 11 years ago
- ☆23Apr 23, 2026Updated 3 months ago
- ☆24Updated this week
- 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.
- jQuery, React and Streamlit applications written by LLMs☆16Dec 24, 2023Updated 2 years ago
- Some code for syncing GameObject behaviors to real-time audio events☆26Nov 2, 2014Updated 11 years ago
- A minimal implementation of Agentic RAG using GRPO☆17Jun 11, 2025Updated last year
- Linux Programming Interface Kerrisk☆12Jan 11, 2019Updated 7 years ago
- Generate Large Language Model text in a container.☆20Mar 24, 2023Updated 3 years ago
- NLSpec instruction following benchmark for https://factory.strongdm.ai/products/attractor☆20Feb 26, 2026Updated 5 months ago
- Random Serum Patches☆17Apr 21, 2018Updated 8 years ago
- Decentralizing distribution of open-source AI models.☆16Updated this week
- Generate a dataset to finetune a LLM to generate Cypher code from questions given in natural language (English).☆15May 24, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SLUB Document Classification and Similarity Analysis☆10Aug 31, 2023Updated 2 years ago
- An interface for Etherpad-Lite's HTTP API written in Go.☆12Apr 19, 2020Updated 6 years ago
- Code and files from the Zelda Home Automation project here: https://youtu.be/glZnkpIDWSE☆20Mar 21, 2017Updated 9 years ago
- Classifies percussion audio samples with a CNN-LSTM, written in python and pytorch. Also exports to Drumkv1 (lv2 plugin)☆14Aug 20, 2020Updated 5 years ago
- scripts to help beginners program in Bro☆21Aug 10, 2013Updated 12 years ago
- replacement of AdamW and Lion optimizer for LLMs☆13May 28, 2023Updated 3 years ago
- Convert datasets from Hugging Face to FiftyOne for Visualization☆11Mar 15, 2024Updated 2 years ago