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.
☆32Nov 9, 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:
- Build micro-vertical AI products with memory, workflows, human approvals, and governed improvement. The open-source engine behind every A…☆27Updated this week
- EMRG — a self-evolving AI agent architecture☆13Updated this week
- Vortex is a learning-focused C++ Load Balancing using IO_Uring and epoll☆37Dec 15, 2024Updated last year
- [NeurIPS 2025] metaTextGrad: Automatically optimizing language model optimizers.☆16Nov 5, 2025Updated last year
- Local-first control plane for AI-agent development — watch every Claude Code session live, ledger tasks/worktrees/resources, track token …☆14Oct 26, 2026Updated 2 weeks 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.
- 1282 production-ready AI agent skills with self-evolving meta-skills — 783 cybersecurity, SEO, trading, marketing, automation, devops, co…☆18Updated this week
- Ghidra BSim platform for large-scale binary similarity analysis. Automated scripts, Docker deployment, Spring Boot API, and web dashboard…☆21Oct 27, 2026Updated 2 weeks ago
- Self-improving skills for AI coding agents. Closed-loop system: Observe → Inspect → Amend → Evaluate. Works with Claude Code hooks and sl…☆15Sep 13, 2026Updated last month
- 研迹 Trail｜本地优先的 AI 投资研究工作台。连接行情、K 线与深度研究，让判断可追溯、风险可复核。Local-first AI investment research desktop with an evidence-grounded copilot.☆207Updated this week
- Mythos-class autonomous vulnerability discovery from any strong coding model (Opus 4.7, GPT-5.5, DeepSeek V4, Gemini). Long-running, emai…☆19May 25, 2026Updated 5 months ago
- Self-improving python code writer and error checker.☆16Nov 27, 2023Updated 2 years ago
- 🧠 Community skill for Claude Code & Codex that helps your agent learn from its mistakes. /aprende reviews the conversation, surfaces dur…☆30Oct 25, 2026Updated 2 weeks ago
- Solutions to the book exercises☆12Apr 16, 2023Updated 3 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
- 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.
- Multi-agent memory MCP server in Go to share typed memories across Claude Code, Codex, and more☆13Sep 28, 2026Updated last month
- Open-source, self-hosted AI agent for terminal, Telegram and Raspberry Pi. Local Ollama or Claude/Codex workers, enforced by a determinis…☆14Nov 5, 2026Updated last week
- Herdr plugin that runs scheduled routines: cron or interval schedules that open a tab in a workspace and run a command or launch an agent…☆11Jul 18, 2026Updated 3 months ago
- Nosis is a lightweight personal agent runtime: per-session execution boundaries with OS-level sandboxing, computer use, a full built-in t…☆103Updated this week
- AI agents that survive production. Self-hosted TypeScript runtime: multi-provider LLMs, tools with approvals, memory & RAG, durable workf…☆43Updated this week
- 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
- VLESS connection ping tool using Xray with fragment support☆36May 31, 2026Updated 5 months ago
- AI workspace for Dynamics 365 process planning, readiness validation, and multi-agent implementation orchestration.☆15Apr 3, 2026Updated 7 months ago
- Your personal nerd that takes care of running jobs on the Nerdalize cloud☆16Oct 3, 2018Updated 8 years 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.
- Local-first multi-agent memory MCP server with hybrid search, behavioral graphs, knowledge triples, and lifecycle management☆14Oct 26, 2026Updated 2 weeks ago
- Local-first agent memory MCP - cross-agent brain with token-saving file diff cache. By Synapse Arrows.☆16Updated 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
- Overnight experiment orchestration for Codex: autonomous planning, coding, training and independent verification, with durable quota wait…☆49Nov 4, 2026Updated last week
- Build your own personal AI agent, one mission at a time. Mission 01: your AI learns who it's working for.☆17Updated this week
- Self-evolving skills for your coding agent — auto-create and auto-improve skills as you work, no trigger needed.☆24Oct 17, 2026Updated 3 weeks 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 last year
- Self-evolving skill engine for Claude Code — skills that create, score, repair, and harden themselves through recursive improvement loops☆29Apr 1, 2026Updated 7 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A task conductor for Claude Code that gets better the more you use it. Multi-agent orchestration with an evidence contract that BLOCKS in…☆79Updated this week
- 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…☆24Sep 23, 2026Updated last month
- Self-improving LLM system using Generator-Reflector-Curator pattern for online learning from execution feedback☆38Aug 11, 2026Updated 3 months ago
- Governed Evolutionary Software — Autogenous turns runtime failures into verified, portable, reversible software adaptations. AGL typed mu…☆42Oct 11, 2026Updated last month
- ☆16Sep 5, 2024Updated 2 years ago
- A drift net for your feeds: catch the tools, repos and articles your chats share before they drift away. Sorted, summarised, searchable, …☆26Nov 4, 2026Updated last week
- Local-first desktop app for inspecting and safely managing the Skills, MCP servers, CLIs, and instruction files your AI agents use.☆31Nov 3, 2026Updated last week
Are these results useful?