TLA+ specification for approval-bound agent execution: matching approval, single-use authorization, world checked at the effect.

Interactive Python tracer for AWS VPC network flows: walk packets through route tables, stateless NACLs, and stateful SGs to build mental models.

Herdr mobile client for iPhone and Android. A self-hosted PWA to drive Claude Code, Pi, Codex and OpenCode in Herdr, tmux or zellij from your phone. Push alerts, no app store.

Production-readiness infrastructure for agentic workflows: durable execution, failure recovery, evaluation, observability, and approval-gated actions.

Executable knowledge schemas for enterprise AI systems.

Fastest LLM inference runtime for Apple Silicon

Practical AI playbooks for engineering leaders to improve delivery, decision-making, and team productivity with real workflows, prompts, and systems.

Architectural drift prevention for the agentic AI SDLC.

Project Onyx

plasTeX plugin to build formalization blueprints.

OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.

Run and supervise teams of coding agents from planning to merge. Any harness (Claude code, codex, +25 more). Desktop, web, mobile, and cloud agents.

Backlog.md - A tool for managing project collaboration between humans and AI Agents in a git ecosystem

A living standard for engineers in the age of coding agents.

🦄 ai that works - every tuesday 10 AM PST

The NCA Toolkit API eliminates monthly subscription fees by consolidating common API functionalities into a single FREE API. Designed for businesses, creators, and developers, it streamlines advanc…

Privacy first, AI meeting assistant with 4x faster Parakeet/Whisper live transcription, speaker diarization, and Ollama summarization built on Rust. 100% local processing. no cloud required. Meetil…

Autumn is an open-source pricing & billing platform

Domain-Aware Neurosymbolic Agent (Dana), an agent-native programming language

Modelence is a production cloud on autopilot, where you can deploy and run your backend, databases and scheduled jobs, monitored and operated by agents.

Build, run, and manage agent platforms.

📢 Laudspeaker is an Open Source Customer Engagement and Product Onboarding Platform. Open Source alternative to Braze / One Signal / Customer Io / Appcues / Pendo . Use Laudspeaker to design produc…

A catalogue of existing Nanda servers

Main reference implementation for NLWeb, implemented in Python.

A tool to build a graph from a codebase

An AI-powered task-management system you can drop into Cursor, Lovable, Windsurf, Roo, and others.