Skip to content
View haf's full-sized avatar
💹
currently succeeding...
💹
currently succeeding...

Highlights

  • Pro

Organizations

@Albacore @DotNetIO @logibit @fsprojects @causiq @Hopac

Block or report haf

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action …

Go 779 90 Updated Jul 24, 2026
Python 2 Updated Feb 21, 2026

🐾 Authority, not credentials, for AI agents: policy-approved actions, delegation that can only narrow, instant revocation, tamper-evident audit.

TypeScript 158 59 Updated Jul 21, 2026

Python 3.14, compiled to metal — JIT & AoT native compiler and runtime in Rust. Cranelift backend, ruff parser, Green Tea GC, byte-exact differential testing against CPython.

Rust 528 16 Updated Jul 7, 2026

A modern, lightweight Markdown editor for macOS.

Objective-C 386 42 Updated Jul 23, 2026

Public ant-irys code and Harvey LAB benchmark results

Python 141 29 Updated Jul 6, 2026

The agent that grows with you

Python 219,633 41,698 Updated Jul 24, 2026

Aurora — Open source AI-powered agentic incident management & root cause analysis for SREs. LangGraph agents investigate across AWS, Azure, GCP, Kubernetes. Integrates with PagerDuty, Datadog, Graf…

Python 377 67 Updated Jul 16, 2026

Self-hosted browser session replay built on S2 with live tailing

TypeScript 88 4 Updated Jun 2, 2026

Codex CLI multi-account OAuth manager with account switching, health checks, runtime rotation, diagnostics, and recovery tools for @openai/codex

TypeScript 402 37 Updated Jul 23, 2026

Swaks - Swiss Army Knife for SMTP

Perl 1,321 96 Updated Mar 5, 2024

AI-agent skills for distributed-systems testing

223 12 Updated Jul 21, 2026

Tangle is a web app that allows the users to build and run Machine Learning pipelines without having to set up development environment.

Python 262 21 Updated Jul 23, 2026

Open source implementation of the Turborepo custom remote cache server.

TypeScript 1,463 156 Updated Jul 21, 2026

Kubernetes operator for Multigres — deploys, scales, and manages horizontally scalable PostgreSQL clusters with automated topology orchestration, drain-safe rolling updates, and admission webhooks

Go 266 28 Updated Jul 23, 2026

Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they…

Rust 3,383 310 Updated Jul 24, 2026

Agent-Sandbox is an E2B compatible easy-to-use enterprise-grade sandboxes for AI Agents. Allows Agents to securely run untrusted LLM-generated Code, Browser use, Computer use, and deploy Website etc.

Go 179 18 Updated Jul 10, 2026

Offload your test computation to ephemeral compute

Rust 134 5 Updated Jul 24, 2026

AI agents running research on single-GPU nanochat training automatically

Python 91,939 13,142 Updated Mar 26, 2026

The open-source app everyone uses to manage agents at work

TypeScript 74,616 13,889 Updated Jul 24, 2026

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

TypeScript 30,337 12,870 Updated Jul 23, 2026

Claude Code skill — generate cross-client HTML email with MJML. Outlook-safe, Gmail-optimized, WCAG 2.1 AA accessible.

56 7 Updated Feb 28, 2026

The CLI for AI agents to control Chrome. Zero config, agent-agnostic, battle-tested.

TypeScript 561 49 Updated Jul 21, 2026

Agent Semantic Protocol v1.0.0— Semantic interoperability layer for AI agents (MCP extension)

Go 27 3 Updated Feb 26, 2026

A macOS app that blurs your screen when you slouch.

Swift 2,491 71 Updated Jul 19, 2026

Infrastructure that's powering E2B Cloud.

Go 1,267 369 Updated Jul 24, 2026

Open-source, secure environment with real-world tools for enterprise-grade agents.

Python 13,088 969 Updated Jul 23, 2026

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…

Rust 5,998 718 Updated Jul 24, 2026

Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications

Go 339 22 Updated Jul 8, 2026

Convert XState v5 state machines from Typescript to Mermaid stateDiagram-v2 format with stately.ai UX parity.

TypeScript 11 1 Updated Jan 13, 2026
Next