Havuz

The cross-harness, self-improving memory layer for AI agents. Join our community: https://discord.com/invite/zdNChS2fBu

droast - a dockerfile linter that actually has opinions 🔥

A CI/CD Red Team Framework for demonstrating Build Pipeline security risks.

Wireshark for MCP. A transparent proxy between your AI client and MCP server. Watch every call live in your terminal, fail CI on what it fin

Automated quality checks that nudge AI coding agents toward better habits

CI-native agent CLI tool for deterministic pipeline gating.

Local evidence debugger and trajectory-test toolkit for TypeScript AI agents: inspect causal runs, catch wrong tool paths in CI, and share s

Nix binary cache and build matrix for GitHub Actions: eval once, build checks in parallel jobs, deduplicated uploads, automatic GC, zero set

A DynamoDB emulator in Rust, backed by SQLite. Starts in milliseconds as a single static binary, and is verified against real AWS by a publi

Predict the silent integration traps an AI agent would ship (zero-revenue configs, auth bypasses, immutable wrong choices) — then enforce, i

Typed semantic decisions for Unix pipelines and CI, powered by TypeSafe AI Jev.

Run coding agents unattended. Agents write the code. Axocoatl writes the receipt. Claude Code, Codex or a local model in a sandbox; the host

Code review via the change impact measure

Static analysis and health checks for dbt projects.

Multi-agent codebase review for PRs, CI, and downstream fork syncs.

✅ Acceptance is open-source e2e testing for Agents. Your coding agent turns a prompt into observable checks, runs the real product, and publ

CLI for App Store review checks on iOS, Flutter, and React Native apps.

Agent Reliability Analyzer for AWS CodePipeline and CodeCatalyst: find agent reliability issues

A statistical code analyzer built from your repository's history.

boots your firmware and inference on N real targets. 0 setup, 0 hardware to own.

Cache-line false sharing linter for Rust structs

git diff for CAD assemblies — two STEP files in, a picture of what changed plus a machine-readable change list out.

检测并修复 AI 编码助手导致的中文乱码（mojibake）。支持 GitHub Action 和 Claude Code hook。Detect and repair Chinese text encoding corruption caused by AI coding as

Empirical cost measurement and assertion tooling for Soroban — catch budget-exhaustion failures in CI before they fail on the network.

Micro-VM sandbox for AI agents: isolated, gated and auditable, to prove what your agents did

AGENTS.md contract for AI coding agents + zero-dependency linter + SessionStart hook. Works with Claude Code, Codex, Cursor, Copilot.

Static Ansible linting in Go: the 38 ansible-lint rules decidable from YAML alone, byte-for-byte pep8 output, no Ansible runtime.

Official-grade GitHub CI for DeepSeek Harness: composite action.yml, PR review bot with idempotent inline comments and a status-check gate,

Static analyzer for Postgres Row-Level Security — 67 lint rules covering tenant and per-user row-scoping bugs, performance traps, and hygien

Verification-gated skill routing and self-improvement harness for Hermes-style agent skills

Portable, always-fresh docs for agents and humans. A Surface hub is a conformant OKF concept; Surface adds the freshness OKF leaves out - it

Your coding agent gaslights you. GODKILLER doesn't. Disk gates > vibes. claim_done only after verify.

The testing standard for MCP servers. Lint (14 rules), test, and fuzz over real stdio/SSE/HTTP transport. 18 assertion types in YAML. Found

The cheapest way to run GitHub Actions: AWS spot machines in your own account at AWS's price, nothing added ($0.0008 a minute for 2 vCPU). O

OpenCode GitHub agent in GitHub Actions

Agent Reliability Analyzer for Azure Pipelines: find agent reliability issues

Set up and manage self-hosted GitHub Actions runners on Linux and Windows, in WSL or Docker

Turn a deno.lock diff into prioritised supply-chain signals — new raw-URL imports, integrity changes, registry moves.

Open-source eBPF compatibility evidence and CI gate

Sign Windows executables with your Certum SimplySign cloud cert from Linux, macOS or Windows — pure HTTPS, no SimplySign Desktop.

Deterministic semantic linter and PR reviewer for IEC 61131-3 Structured Text. 80 checks across diff-based, static integrity, FB-instance, P

Keep your sensitive credintials out of the agents you build and the coding agent you use. Test any agent with planted fake keys, or see whic

Tests CLI behavior from plain YAML: exit codes, output, files, snapshots, and interactive terminals (PTY/TUI)

PantheonSim: GPU simulator for CUDA and ROCm. Run CUDA and HIP programs unmodified on a CPU, no GPU needed: simulated NVIDIA and AMD GPUs fo

Proof-of-done for AI coding agents. Local evidence receipts for Codex, Claude Code, Cursor, and GitHub Actions.

Gatemole compiles human-owned intent into obligations, links evidence artifacts to those obligations, and produces deterministic release dec

Snapshot testing for LLM apps and agents, built to run locally and block regressions in CI.

On-demand, ephemeral Forgejo Actions runners on cloud VMs — kept warm only for the billing hour you've already paid for, so you never pay fo

End-to-end retail lakehouse on Databricks: dual-path ingestion from PostgreSQL and S3, dbt-modeled galaxy schema with SCD2 history, Airflow

Upkeep — an AI audit crew for your repo. Catches docs/spec/asset drift with evidence; output-only. Claude Code plugin/skill + reusable CI wo