Capable, auditable coding that runs fully offline on a 16 GB machine. A verification-first layer (hard test execution, symbolic checking, agentic repair) that takes a local 7B to parity with its 671B teacher on verifiable tasks. MIT, pre-registered, reproducible.
☆13Jul 6, 2026Updated 3 months ago
Alternatives and similar repositories for horizon
Users that are interested in horizon are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Thunder Math browser game☆29Jul 14, 2026Updated 3 months ago
- Opencode plugin to show each opencode session's status and title in its Zellij tab☆11Oct 8, 2026Updated 2 weeks ago
- Open-source cookbook for the Stormy Social Data API and MCP server (Model Context Protocol) — one REST API for the TikTok API, YouTube AP…☆44Jul 27, 2026Updated 2 months ago
- TON MCP server for Claude, ChatGPT, Cursor, Codex and any MCP client — liteserver queries over native ADNL: balances, account state, tran…☆27Oct 8, 2026Updated 2 weeks ago
- EasyLastSkill ist eine deutschsprachige Codex-/Agent-Skill fuer schnelle Recherchen zu den letzten Tagen eines Themas. Standardmaessig be…☆122Jul 8, 2026Updated 3 months 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.
- Automated Claude Code configuration setup for existing projects☆12Apr 4, 2026Updated 6 months ago
- A GRC Compliance tool for SaaS products to manage the entire lifecycle of security audits.☆113Updated this week
- Agent skills for Sendmux☆18Oct 15, 2026Updated last week
- Free, open-source tool to build a NIST CSF 2.0 Current Profile and gap analysis from an organization's documents (AI-assisted, human-vali…☆95Sep 18, 2026Updated last month
- Self-hosted AI SRE for Kubernetes — zero-instrumentation eBPF observability plus a copilot that fixes issues through guardrailed, self-ve…☆127Jul 29, 2026Updated 2 months ago
- CI-native security testing for MCP servers. Attack simulation, schema drift detection, and health scoring before agents depend on them.☆142Oct 16, 2026Updated last week
- Provider-pluggable orchestration runtime for multi-model AI inference. ( Sakana Fugu style )☆164Jul 16, 2026Updated 3 months ago
- A reference operating model for organizations where any role can be filled by a human or an agent, every process is built for agents firs…☆169Sep 12, 2026Updated last month
- Open-source AI pentest and compliance-readiness CLI by NullSquare.☆51Jul 3, 2026Updated 3 months ago
- 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.
- The black box for AI-written code. Passive decision graph linking every commit to the agent prompts behind it: drift detection, DLP audit…☆317Sep 9, 2026Updated last month
- Track brand mentions across Perplexity, ChatGPT, Claude & Gemini AI search inside any MCP agent. GEO scoring, share of voice, citations, …☆28Jun 6, 2026Updated 4 months ago
- Self-hosted case system for cybercrime investigators. A social network graph where every entity and tie traces to a graded assertion on a…☆150Oct 12, 2026Updated last week
- Ridiculous speed. Readable code.☆302Updated this week
- Let your agents read, send, and react to email autonomously, without human involvement☆262Updated this week
- The address book for AI agents: Nondual gives all your agents one shared record for every person they talk to: who they are, what was sai…☆57Jul 24, 2026Updated 2 months ago
- An Agent Skill to watch the deadlines of latest AI conference.☆68Jul 3, 2026Updated 3 months ago
- boots your firmware and inference on N real targets. 0 setup, 0 hardware to own.☆51Aug 22, 2026Updated 2 months ago
- Circuit Framework — multi-agent LLM trading research system☆274Jul 16, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Deploy intelligence. Open-source infrastructure for AI agents in production.☆186Sep 28, 2026Updated 3 weeks ago
- Registry-as-ground-truth verification & autonomous research framework for agent-driven development.☆67Jul 13, 2026Updated 3 months ago
- C2 teamserver — Go backend, React frontend, SQLite state☆11Jun 3, 2026Updated 4 months ago
- Mit diesem Tool kann geprüft werden, ob die neusten ScrureBoot-Zertifikate korrekt installiert sind.☆32Jun 3, 2026Updated 4 months ago
- Prompt-as-Code for Enterprise AI. Standardize, audit, and deploy instructions across any AI coding assistant.☆379Updated this week
- Self-improving, AI-native markdown vault you hand to an AI agent. GitHub-style file tree + Notion editing, exposed to Claude/Cursor via a…☆168Aug 18, 2026Updated 2 months ago
- Review specs and plans before execution, not code: two model tiers per topic, a reasoning juror only on disagreement, a fail-closed verdi…☆86Aug 22, 2026Updated 2 months ago
- Local-first AI coding agent for VS Code & Cursor. Ollama, LM Studio & your inference fleet. Cursor-grade agent UX — offline, private, zer…☆129Jul 7, 2026Updated 3 months ago
- Open-source app builder engine — intent to working app☆294Updated this week
- 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.
- Urchin Bot, Your Crypto Companion!☆26Mar 11, 2026Updated 7 months ago
- Hardened Docker AIO Tor Bridge, Relay & Exit Stack 🧅🐋🛡️☆56Updated this week
- How many professionally-managed homes are there in DACH? A sourced bottom-up estimate: ~15M (range 11-19M).☆16Jul 14, 2026Updated 3 months ago
- VS Code extension for reviewing markdown plans, AI responses, and local diffs with structured annotations and exportable feedback☆13Apr 5, 2026Updated 6 months ago
- ☆14Jun 5, 2026Updated 4 months ago
- Easy Network Scanner ist eine portable Windows-11-App fuer LAN-, WLAN- und Performance-Diagnose.☆99May 20, 2026Updated 5 months ago
- psx style shader and effects for threeJs☆65Jul 18, 2026Updated 3 months ago