Prove an AI-written fix actually fixes the bug. mini-ork certify reproduces the bug against your repo's own code, attacks the patch with generated invariants in a Docker sandbox, and returns PROVEN / REFUTED / UNVERIFIED with a JSON certificate. Part of a verifier-gated, multi-model agent runtime.
☆32Oct 17, 2026Updated this week
Alternatives and similar repositories for mini-ork
Users that are interested in mini-ork are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The local-first Agentic Knowledge OS - CLI-first, self-improving, measured. Turn intentions into traceable, auditable, reusable workflows…☆32Updated this week
- Self-improving agents, governed. Areev is the substrate for adaptive agents — agents that get better from their own history, under human …☆26Oct 11, 2026Updated last week
- Self-improving skills for AI coding agents. Closed-loop system: Observe → Inspect → Amend → Evaluate. Works with Claude Code hooks and sl…☆11Sep 13, 2026Updated last month
- Ghidra BSim platform for large-scale binary similarity analysis. Automated scripts, Docker deployment, Spring Boot API, and web dashboard…☆23Mar 12, 2026Updated 7 months ago
- Bamboo — a local-first Rust agent harness and runtime with sessions, tools, skills, MCP, sub-agents, workflows, schedules, and context as…☆21Updated this week
- 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.
- The thigh-worn accelerometer data processing tool to find physical and sedentary behaviour☆14Apr 17, 2026Updated 6 months ago
- metaTextGrad: Automatically optimizing language model optimizers. Published in NeurIPS 2025.☆16Nov 5, 2025Updated 11 months ago
- Self-improving python code writer and error checker.☆16Nov 27, 2023Updated 2 years ago
- Experiment-driven improvement of agent skills and code: evaluate candidates, keep measured gains and revert regressions in autonomous or …☆20Sep 20, 2026Updated last month
- DSPEx - Declarative Self-improving Elixir | A BEAM-Native AI Program Optimization Framework☆19Aug 27, 2026Updated last month
- Open-source load testing and benchmarking tools for SQL Server, Azure SQL, and SQL database in Microsoft Fabric: sqlsim, sqlpysim, and sq…☆34Oct 15, 2026Updated last week
- Secure messenger☆15May 3, 2018Updated 8 years ago
- F.R.I.D.A.Y — a secure self-improving personal AI agent. Local-first, with memory, tools, voice, MCP, automation, and verified self-exten…☆23Sep 23, 2026Updated 3 weeks ago
- Turns any website into a single LLM-ready markdown file☆14Aug 3, 2025Updated last year
- 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.
- Declarative Self Improving Elixir - DSPy Orchestration in Elixir☆21Sep 27, 2026Updated 3 weeks ago
- Governed Evolutionary Software — Autogenous turns runtime failures into verified, portable, reversible software adaptations. AGL typed mu…☆41Oct 11, 2026Updated last week
- 💳 ETL (Extract, Transform and Load) pipeline for calculating stats for a transactions database & testing the efficacy of a loyalty prog…☆10Apr 25, 2017Updated 9 years ago
- These source codes are the solutions to my University course problems.☆15Dec 25, 2018Updated 7 years ago
- ☆27Aug 5, 2026Updated 2 months ago
- Open-source AI agent that reasons by blending many AI models, does real work on its own, and keeps learning — safe, self-hostable, and fu…☆29Updated this week
- ☆11Aug 6, 2016Updated 10 years ago
- Hermes Agent-style self-improvement for Claude Code☆46Sep 13, 2026Updated last month
- Your personal nerd that takes care of running jobs on the Nerdalize cloud☆16Oct 3, 2018Updated 8 years ago
- 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.
- No Mac Mini? No problem. HermesFace is the best free way to deploy Hermes Agent on HuggingFace Spaces — 2 vCPU, 16GB RAM, 50GB storage, a…☆28May 26, 2026Updated 4 months ago
- pure CSS "For me on GitHub" ribbon generator☆13Dec 13, 2017Updated 8 years ago
- Open Knowledge Format with JSONSchema☆22Oct 5, 2026Updated 2 weeks ago
- ☆18Aug 2, 2024Updated 2 years ago
- A Herdr plugin that will automatically prompt the running AI Coding CLI on-behalf of you via Herdr API. The plugin has training mode whic…☆25Updated this week
- OpenCastor — open-core RCAN runtime. Gateway-as-kernel + drivers + fleet + cloud bridge + UI. Layer 4 of the OpenCastor stack. See rcan.d…☆29Updated this week
- Self-evolving skill engine for Claude Code — skills that create, score, repair, and harden themselves through recursive improvement loops☆29Apr 1, 2026Updated 6 months ago
- Telegram for Android Source with TWP Core☆27Sep 10, 2026Updated last month
- A smart question-answering system for Persian documents using Retrieval Augmented Generation (RAG)☆15Aug 10, 2025Updated last year
- 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.
- Self-evolving skills for your coding agent — auto-create and auto-improve skills as you work, no trigger needed.☆23Updated this week
- SmartCacheManager is a smart caching module to cache objects with resilient and variable expiration timing that is useful for caching res…☆14Jan 13, 2024Updated 2 years ago
- Sno Station Skills: 31 tested skills that turn Claude Code and Codex into one working team. Cross-vendor peer review, automatic handoff w…☆547Updated this week
- chasm — a local-first, game-agnostic AI backend for agentic NPCs. Connect any game with a mod (or build one on it); chasm provides the LL…☆72Jul 10, 2026Updated 3 months ago
- [NeurIPS 2020 Spotlight Oral] "Training Stronger Baselines for Learning to Optimize", Tianlong Chen*, Weiyi Zhang*, Jingyang Zhou, Shiyu …☆30Dec 30, 2021Updated 4 years ago
- 🌈 A UI Design Language☆10Jul 4, 2024Updated 2 years ago
- Self-improving AI: Transform CLAUDE.md into a learning system. One prompt makes Claude learn from every mistake. Meta-rules + reflection …☆26Nov 8, 2025Updated 11 months ago