👨💻
Highlights
Lists (16)
Starred repositories
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
Exo is an agent + harness architecture that is fully recursive, able to safely edit all aspects of itself at runtime to get better at your tasks.
This repo hosts Prowler OSS (CLI and Local Server). Prowler is the world’s most widely used open-source cloud security platform that automates security and compliance across any cloud environment f…
A self-improving RLM agent for coding workflows and long-running autonomous tasks.
AgentENV (AENV) is a distributed platform for running agent environments at scale.
A framework for building agentic apps
Lightpanda: the headless browser designed for AI and automation
A vector index built on TurboQuant, written in Rust with Python bindings
The leading workflow orchestration platform. Run stateful step functions and AI workflows on serverless, servers, or the edge.
Production-ready animations, transitions, backgrounds, and scenes for Remotion
ReactBench is an evaluation for coding agents on realistic React work
AI agent toolkit: unified LLM API, agent loop, TUI, coding agent CLI
Open-source, self-hostable in-app notification inbox infrastructure: one Rust binary + Postgres + Redis, a small HTTP API, and a drop-in <Inbox /> React component.
Macro is a unified workspace for teams: email, chat, docs, tasks, agents, calls, and CRM — @-linked together with shared AI memory.
Postgres rewritten in Rust, now faster than Postgres and Clickhouse
Supabase-compatible backend in a single binary — real Postgres with RLS, no Docker. Works with supabase-js unchanged.
Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more
Let Claude (or any LLM) actually watch a video — scene-aware, deduplicated frames + transcript, from a URL or local file. Runs locally, MIT.
Secure and persistent computer for AI agents
Write HTML. Render video. Built for agents.
The missing integration layer for AI agents. Let them call any OpenAPI / MCP / GraphQL / custom js functions in secure environment.
SkillOpt is a text-space optimizer that trains reusable natural-language skills for frozen LLM agents through trajectory-driven edits, validation-gated updates, and deployable best_skill.md artifacts.
ktx is an executable context layer for data and analytics agents 🐙 Allow Claude Code, Codex, or other AI agents to query analytical databases accurately and with full context of your company