Ethereum Consensus Specifications
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
Repository hosting code for "Actions Speak Louder than Words: Trillion-Parameter Sequential Transducers for Generative Recommendations" (https://arxiv.org/abs/2402.17152).
Spec-Driven Development with organizational governance. Specs tell AI agents what to build; Charter governs how they build it. Git-native missions, enforceable workflows, and consistent engineering standards across AI coding agents and harnesses.
Specification for the Execution Layer. Tracking network upgrades.
β
Enterprise-ready MCP Gateway & Registry that centralizes AI development tools with secure OAuth authentication, dynamic tool discovery, and unified access for both autonomous AI agents and AI coding assistants. Transform scattered MCP server chaos into governed, auditable tool access with Keycloak/Entra integration.
Faster than your agent alone. And better. A workflow plugin that takes a bug, idea or ticket to a verified pull request: specs, cross-model review by risk, live QA, receipts in your repo. Claude Code Β· Codex Β· Cursor Β· Droid Β· Grok Build Β· OpenCode Β· Muse Code.
An ECS (Entity Component System) for Python
:sunglasses: A curated list of Entity-Component-System (ECS) libraries and resources
A repo to automatically generate and keep updated a series of Docker images through GitHub Actions.
Lecture and lab slides for EECS 498 AASE (Applied Agentic Software Engineering), UMich Fall 2026
MCP server that watches video footage and returns license-safe BGM matches, hook windows, and ffmpeg ducking specs for agents.
Production-style end-to-end e-commerce recommendation platform with data engineering, MLOps, serving, governance, and observability on Kubernetes.
Offline reverse-engineering toolchain for Bitwig Studio's Nitro DSP format β decrypt, decompile, and read the DSP behind every native device and Grid module. Tools + format specs only; no Bitwig source or keys.
Automated daily Exec Sum deal-flow brief with Top 3 deal ranking, sourced expert insights, IB analysis, and Gmail delivery.
Kubernetes on Route53: a hosted zone as the datastore, kubectl-compatible Lambda apiserver, and an ECS/ALB reconciler. A joke that works.
Portable Agent Skill to audit AGENTS.md, organize engineering specs, and keep shared documentation consistent across Codex, Claude Code, Cursor, and more.
An agent that fills out real job applications while you sleep.
Operational tooling & discipline for multi-agent AI engineering fleets β mutation-proven guards, a Textual terminal monitor, generalized skills, and specs. Every check ships with proof it can fail.
Encode, decode and plot audio with 10 neural audio codecs and audio VAEs (DAC, EnCodec, SNAC, Stable Audio Open, Music2Latent, ACE-Step and more), all through one interface. Useful for looking inside each model's latent space and comparing them side by side.
A meta-harness for coding agents to follow proper Software Development Lifecycle practices. Can also write code from specs. Based on literate programming ideas from Donald Knuth