Bootstraps a fresh Ubuntu VPS into a complete multi-agent AI development environment in 30 minutes: coding agents, session management, safety tools, and coordination infrastructure
- agentic-ai
- agentic-workflow
- agentmail
- beads
Repository Index
87,075 visible repositories in the index
1–3 of 3 · Most stars
tools for managing AWS resources including EC2, EBS, RDS, IAM, CloudFormation and Route53.
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
- docker-image
- dockerfile
- opam
- coq