A systematic empirical study of self-verification strategies in agentic coding harnesses
☆29Mar 4, 2026Updated 7 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
- A defensive decompilation layer: Ghidra facts, lifted into runnable Python & artifacts aiding analysis.☆16Aug 7, 2026Updated 2 months ago
- AiO webtools for Pi: Search, Fetch, Pull | no API keys☆16Oct 16, 2026Updated last week
- LLM (v)RAM estimator for GGUF models from huggingface and ollama across various quantisation and context sizes☆13Nov 26, 2025Updated 10 months ago
- A Python library encapsulating best practices for rubric-based evaluation of LLM/VLM outputs using AI judges such as LLMs and decision mo…☆64Sep 27, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Gloop is a self-modifying, self-replicating CLI AI agent☆15Oct 7, 2026Updated 2 weeks ago
- Terminal system monitor (TUI) that builds its layout from the hardware it actually finds — hybrid CPU clusters, GPUs, RDMA/RoCE NICs, PCI…☆17Aug 1, 2026Updated 2 months ago
- LLM inference in C/C++☆17Jul 29, 2026Updated 2 months ago
- "Explaining Attention with Program Synthesis" | Work to reproduce analyzing and replacing attention heads from MIT LINGO '25 Summer Resea…☆23Oct 2, 2026Updated 3 weeks ago
- ☆51Aug 26, 2026Updated last month
- Automates Flatcam generation of G-code for my (and maybe your) PCB milling process☆10Jun 16, 2023Updated 3 years ago
- A zero-allocation, header-only C++ BPE tokenizer for Qwen, built for maximum inference throughput.☆24Apr 3, 2026Updated 6 months ago
- Qwen3.8-27B on 2× RTX 5090 · 1.49M KV · code/prose t/s: c1 264/216, c16 2,649/2,240 · NVFP4 + vLLM + MTP☆25Updated this week
- A tool that can be used to measure the sequential performance of any OpenAI-compatible LLM API☆25Aug 1, 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.
- SGLang for GLM-5.3-Flash on two or four RTX PRO 6000 Blackwell GPUs (SM120), with TP2 W4A16 and TP4 NVIDIA NVFP4 profiles.☆46Oct 11, 2026Updated last week
- PSN Account Vault - utility to manage your multiple PSN accounts, purchases and more!☆17Oct 12, 2026Updated last week
- Papers and implementations of distillation for diffusion models☆14Sep 2, 2023Updated 3 years ago
- Fuzzing Infrastructure with k8s & cephfs☆12Jul 23, 2020Updated 6 years ago
- ☆10Jul 18, 2022Updated 4 years ago
- Web Interface for Vision Language Models Including InternVLM2☆26Jul 29, 2024Updated 2 years ago
- ☆12Sep 10, 2024Updated 2 years ago
- A Rust harness for generating graded chain-of-thought reasoning traces as model fine-tuning data.☆36Oct 2, 2026Updated 3 weeks ago
- Native PS5 port of Ship of Harkinian (Ocarina of Time): 4K, ~60 FPS, HD textures. Bring your own ROM.☆29Updated this week
- 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.
- Specifications for better computing☆10Nov 19, 2019Updated 6 years ago
- ☆14Dec 1, 2025Updated 10 months ago
- Small decision models in Go☆64Updated this week
- count things, either as a one-off or aggregated over time☆11Oct 1, 2018Updated 8 years ago
- Mobile remote session manager for Claude Code — access sessions from iPad/iPhone☆24Mar 19, 2026Updated 7 months ago
- Experimental Vulkan graphics and compute API for native PlayStation 5 homebrew (gfx1013).☆28Sep 29, 2026Updated 3 weeks ago
- ☆11Dec 9, 2022Updated 3 years ago
- 把 On-Policy Distillation 接到 DSpark。☆19Jun 28, 2026Updated 3 months ago
- A script for extracting and decrypting .nsp into .nca☆13Oct 8, 2025Updated last year
- 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.
- ☆85Sep 30, 2026Updated 3 weeks ago
- python sample script☆11May 14, 2025Updated last year
- A MOS SID 6581 / 8580 SID-file music audio visualizer for the browser.☆10May 7, 2023Updated 3 years ago
- ☆12Mar 31, 2026Updated 6 months ago
- Concurrency Patch to enable on DSpark - DeepSeek V4 Flash/Pro C=16 can be modified for more☆12Jun 29, 2026Updated 3 months ago
- ninfer-ext: Forked for speed.☆26Updated this week
- An attempt to understand automated AI research☆23Aug 15, 2026Updated 2 months ago