AI orchestrator that runs until done. Define what "done" means, go to sleep, wake up to verified results. Supports OpenCode, Codex, Claude Code,
☆42Jan 12, 2026Updated last month
Alternatives and similar repositories for proofloop
Users that are interested in proofloop are comparing it to the libraries listed below
Sorting:
- The code review workbench.☆45Feb 12, 2026Updated 2 weeks ago
- Run AI Agents in the cloud☆56Feb 7, 2026Updated 3 weeks ago
- A small repo of resources for my lecture students.☆16May 6, 2017Updated 8 years ago
- One-command macOS VM on Proxmox 9 — TUI wizard, auto-download, AMD+Intel, Sonoma/Sequoia/Tahoe☆54Updated this week
- Rethinking the User Interface of AI☆32Updated this week
- OpenClaw plugin that enhances the gateway web UI with automatic refresh and better WebSocket handling☆19Updated this week
- ☆45Feb 19, 2026Updated last week
- Learn about drivers, connectivity and requests by running a simple API with Apache Cassandra/Astra DB as its data backend.☆12Jan 24, 2023Updated 3 years ago
- This repository contains helpful use commands and exercises for preparing the CKA and CKAD. Also, you can download the kube-response tool…☆10May 13, 2022Updated 3 years ago
- BlacksmithAI is an OPEN-SOURCE advanced penetration testing framework that leverages multiple AI agents to automate security assessments…☆14Feb 15, 2026Updated last week
- A powerful MCP testing tool with multi-provider LLM support (Ollama, OpenAI, Claude, Gemini). Test, debug, and develop MCP servers with a…☆18Jan 7, 2026Updated last month
- AI-powered documentation generator CLI for Claude Code projects☆27Feb 16, 2026Updated last week
- Enterprise-grade, lightweight HTML to PDF generator for Node.js - No Puppeteer/Chromium required.☆20Dec 25, 2025Updated 2 months ago
- Notes from my study of Learn Prolog Now!☆11Apr 23, 2012Updated 13 years ago
- Airut - Sandboxed Claude Code over email and Slack☆33Updated this week
- 📕 Solutions to Hackerrank 10 days of JavaScript Tutorial.☆11Jan 15, 2021Updated 5 years ago
- RPG-style animation viewer for Claude Code sessions - watch your AI companion react to tool usage with pixel-art animations☆89Jan 16, 2026Updated last month
- 大数据学习，大数据详细文档，包括框架的简介，安装，使用，原理等☆12Mar 26, 2021Updated 4 years ago
- Self-hosted personal email server with IMAP, SMTP, CalDAV/CardDAV. Privacy-focused alternative to Gmail/Outlook. Features: auto-TLS, DKIM…☆29Feb 19, 2026Updated last week
- private repository checkout action via github apps☆11Dec 28, 2022Updated 3 years ago
- tintcd — Directory-aware terminal theming for PowerShell. cd, but colorful.☆31Updated this week
- PyTorch from scratch in TypeScript☆28Jan 3, 2026Updated last month
- ☆12Jan 7, 2024Updated 2 years ago
- Open-source agent skills for live sports data and prediction markets. Football, F1, Kalshi, Polymarket. Zero API keys. SKILL.md format.☆36Updated this week
- Web Application Firewall (WAF) Enhanced with AI through Autonomous Dynamic Learning and Generative Models☆14Updated this week
- Whispem is a minimalist open-source programming language focused on clarity, expressiveness, and calm readability. Implemented in Rust.☆54Updated this week
- TypeScript SDK for programmatic access to Google NotebookLM☆27Jan 14, 2026Updated last month
- This repository contains solutions of InterviewBit.Problem name is same as file name and file contains solution.Solutions may be in c,c++…☆10Jan 24, 2022Updated 4 years ago
- Data Structures and Algorithms implemented in different languages.☆10Jul 9, 2020Updated 5 years ago
- Oracle IZ0-808 and IZ0-809 Java Developer Exam Questions & Answers☆13Nov 20, 2023Updated 2 years ago
- A booklet on machine learning systems design with exercises☆14Nov 27, 2019Updated 6 years ago
- Forward git credential requests from Docker container to host☆11Feb 7, 2026Updated 2 weeks ago
- Agent skill for collaborative ghostwriting for founders and experts☆16Jan 9, 2026Updated last month
- 🌀 an Interactive Terminal for AI (interminai) - A PTY proxy enabling AI interaction with interactive CLI applications like vim, git reba…☆40Feb 9, 2026Updated 2 weeks ago
- Machine coding and java interview examples. Calendar Assist, Contact Manager with partial search, Multilevel Cache, Splitwise☆11Apr 22, 2021Updated 4 years ago
- This repo consists of all courses of IBM - Data Science Professional Certificate, providing with techniques covering a wide array of data…☆16Aug 15, 2020Updated 5 years ago
- Malware Deobfuscation and RE Automation Tool Utilizing AI☆17Dec 29, 2025Updated last month
- TakaTime is a blazingly fast, privacy-focused coding time tracker for Neovim. It works just like WakaTime, but with one major difference…☆47Updated this week
- local speech to text in Neovim☆23Dec 25, 2025Updated 2 months ago