Train a harness to improve its model-agnostic and task-env-agnostic capabilities with PyTorch-like APIs
☆24Jul 20, 2026Updated 3 months ago
Alternatives and similar repositories for harness-training
Users that are interested in harness-training are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Practical Linux server hardening — every item is failure → fix → verify. SSH, firewall, service binding, secrets, DB auth, and more.☆17Sep 7, 2026Updated 2 months ago
- Write Python modules in Lean! (WIP)☆19Oct 28, 2026Updated 2 weeks ago
- ☆15Feb 6, 2021Updated 5 years ago
- ☆15Dec 6, 2023Updated 2 years ago
- ☆14Dec 31, 2024Updated 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.
- eBPF Prometheus exporter for AI-agent activity — per-agent tools, domains, ports, files, CPU & network — with a Grafana dashboard. A yeet…☆16Oct 2, 2026Updated last month
- YOalphabet: a geometric writing system (neography) where 4-bit numbers make letters. 16 glyphs; each square's four edges are four bits, t…☆22Updated this week
- LLM switchboard for Claude Code, Codex and AI agents — pool providers, cloud credits, regions and local models behind stable routes.☆21Oct 25, 2026Updated 2 weeks ago
- Semantic regrouping of large diffs for review☆17Oct 25, 2026Updated 2 weeks ago
- Ambient macOS light strip for AI coding agents — a Dock-adjacent pill of eight LEDs showing whether anything is working, waiting, finishe…☆34Aug 26, 2026Updated 2 months ago
- Passive blue-team security scanner — 582 read-only modules, plus 32 opt-in probes. Runs on your machine. No accounts. No telemetry.☆21Aug 25, 2026Updated 2 months ago
- inplan — a Markdown editor for human ⇄ coding-agent planning. CLI + desktop editor.☆24Nov 4, 2026Updated last week
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆27Sep 16, 2022Updated 4 years ago
- ☆13Aug 26, 2024Updated 2 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.
- ☆21Updated this week
- ☆17Nov 3, 2026Updated last week
- Specifying and Verfying Zab using TLA+☆11Dec 12, 2021Updated 4 years ago
- ☆17Apr 27, 2026Updated 6 months ago
- ☆11Feb 26, 2025Updated last year
- Write reactive CLI applications in plain HTML.☆20Oct 5, 2026Updated last month
- Verilog auto debug with Gpts☆11Feb 25, 2025Updated last year
- Open plain-text file format for AI memory. Your assistant's long-term memory as .dai files on your disk: readable by Claude, GPT, Gemini,…☆55Oct 7, 2026Updated last month
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆17Dec 10, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- MicroCodex is an ultra-lightweight coding agent that runs in your terminal☆40Sep 27, 2026Updated last month
- Formal verification agent for design or implementation☆17Nov 18, 2025Updated 11 months ago
- Specification of a protocol for payment channels in TLA+☆14May 20, 2025Updated last year
- A local memory of everything you have seen, said or heard while you work at your computer.☆30Aug 28, 2026Updated 2 months ago
- Live code graph that fuses static analysis (tree-sitter) with OpenTelemetry runtime traces, queried over MCP so AI coding agents get real…☆34Updated this week
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆17Jun 12, 2020Updated 6 years ago
- Summarize, explain, fact-check, or translate any text, URL, or file. No GPU. No cloud. One command☆26Jun 15, 2026Updated 4 months ago
- A cyberpunk persistent multiplayer world in your terminal: a neon planet of ten sciences where developers and scientists meet across disc…☆31Oct 25, 2026Updated 2 weeks ago
- A full fledged mistral+wandb☆13Aug 16, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Actually safe subset of Javascript, that can be embedded in many environments.☆21Oct 26, 2026Updated 2 weeks ago
- Instant MicroVMs/Unikernels for macOS and Linux☆42Aug 20, 2026Updated 2 months ago
- OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)☆30Oct 8, 2026Updated last month
- This is an attempt to fine tune SOTA Large Language Models so as to generate Verilog (VHDL) programmes, detect syntax, logic and human er…☆18Mar 12, 2026Updated 7 months ago
- For engineers seeking an in-memory key-value database, Rapto provides predictable performance, cache-aware design, and low memory usage t…☆39Updated this week
- What one engineer works out, the whole company keeps.☆34Nov 3, 2026Updated last week
- Official Implementation of AttnTrace☆16Apr 23, 2026Updated 6 months ago
Are these results useful?