A systematic empirical study of self-verification strategies in agentic coding harnesses
☆29Mar 4, 2026Updated 8 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:
- Local-first, LLM-guided, coverage-driven fuzzer for network protocols and binary formats. Single Rust binary. Zero signup.☆15Jul 14, 2026Updated 3 months ago
- Semantic Skill Space (SSS): Injecting skill embeddings into KV cache for small-model agents to recover skill behavior with lower prompt-c…☆15Mar 2, 2026Updated 8 months ago
- A defensive decompilation layer: Ghidra facts, lifted into runnable Python & artifacts aiding analysis.☆16Aug 7, 2026Updated 3 months ago
- LLM (v)RAM estimator for GGUF models from huggingface and ollama across various quantisation and context sizes☆13Nov 26, 2025Updated 11 months ago
- Thinking blocks that open during generation: a gate decides when to think, a tree of candidate thoughts is explored, and the best one sta…☆18Oct 11, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Stop repeating yourself to Claude.☆14Updated this week
- This repo helps to transform text into a better form for lora training☆12Apr 9, 2023Updated 3 years ago
- LLM-powered research knowledge base — compile raw documents into a living wiki with persistent agent memory and RAG retrieval.☆14Apr 5, 2026Updated 7 months ago
- Automates Flatcam generation of G-code for my (and maybe your) PCB milling process☆10Jun 16, 2023Updated 3 years ago
- Gloop is a self-modifying, self-replicating CLI AI agent☆15Oct 7, 2026Updated last month
- A a lightweight, drop-in replacement for beads, a CLI task tracker for AI Agents.☆12Aug 11, 2026Updated 3 months ago
- Spen's Official OpenOCD Mirror (no pull requests)☆12Jan 27, 2020Updated 6 years ago
- An experimental desktop client for using Claude Desktop's MCP with Novelcrafter codices.☆11Dec 3, 2024Updated last year
- ☆13Updated 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.
- Terminal system monitor (TUI) that builds its layout from the hardware it actually finds — hybrid CPU clusters, GPUs, RDMA/RoCE NICs, PCI…☆17Nov 5, 2026Updated last week
- Creating diff that supports wildcard produced by LLMs☆16Sep 18, 2024Updated 2 years ago
- ☆12Aug 31, 2026Updated 2 months ago
- Output high level Pcode (PcodeAST) in Ghidra☆18Apr 7, 2023Updated 3 years ago
- Training a Dreamer 4 world model from scratch on CoinRun - 9.6M self-generated frames, one GPU. PSNR 40.41, FVD 32.19.☆13Aug 20, 2026Updated 2 months ago
- Evolution process to find the best quant tensor weights to build the most optimal GGUF options for an AI model.☆49Sep 8, 2026Updated 2 months ago
- ☆36Mar 6, 2026Updated 8 months ago
- Raw speed benchmark traces: Qwen3.8-27B on 4x RTX 3090. llama.cpp GGUF sweeps + 288-point vLLM vs SGLang, NVFP4 vs FP8 matrix.☆14Sep 28, 2026Updated last month
- ☆11Aug 31, 2026Updated 2 months 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.
- ☆13Sep 10, 2024Updated 2 years ago
- Raspberry Pi library to drive APA102 RGB led over SPI☆12Sep 15, 2020Updated 6 years ago
- Support library for using ImGui in your CLAP plugin☆11Aug 18, 2026Updated 2 months ago
- ☆10Feb 12, 2026Updated 9 months ago
- A SpinBox widget prototype for Textual☆11Aug 10, 2025Updated last year
- A MOS SID 6581 / 8580 SID-file music audio visualizer for the browser.☆10May 7, 2023Updated 3 years ago
- Audio Reactive Music GLSL Shader render program.☆12Apr 24, 2026Updated 6 months ago
- Optimal stopping package for LLM evaluations☆25Sep 13, 2026Updated last month
- Papers and implementations of distillation for diffusion models☆14Sep 2, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Node.js proxy server for debugging OpenAI-compatible chat completions requests.☆10Nov 20, 2025Updated 11 months ago
- ☆14Dec 1, 2025Updated 11 months ago
- Code for AttriBoT from "AttriBoT: A Bag of Tricks for Efficiently Approximating Leave-One-Out Context Attribution"☆15Apr 21, 2025Updated last year
- ☆14Feb 12, 2026Updated 9 months ago
- python sample script☆11May 14, 2025Updated last year
- Pipecat Guess Who?☆16Aug 1, 2025Updated last year
- jQuery, React and Streamlit applications written by LLMs☆16Dec 24, 2023Updated 2 years ago
Are these results useful?