- Boulder, CO
Lists (1)
Sort Name ascending (A-Z)
Stars
Deepsec is a security harness for finding vulnerabilities in your codebase powered by coding agents
Auto Ontology is a Python framework for building semantic, graph-based reasoning layers over data. It enables deterministic query generation, better context retrieval, and more explainable AI for L…
The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.
OpenShell is the safe, private runtime for autonomous AI agents.
Training-free language model modification: Remove censorship, suppress slop, reduce sycophancy, and more
PhotoCraft: An open-source, photo editor written by scratch in pure Rust
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Orca lets you run a fleet of coding agents (e.g. Claude Code, Codex) with your own subscription. Available on desktop, mobile and remote runtime.
A coding-agent skill for multi-phase security audits with independently verified, machine-readable findings
A skill to stop your coding agent from burying the answer. ADHD-friendly output.
Tangle is a web app that allows the users to build and run Machine Learning pipelines without having to set up development environment.
Mythic C2 agent with a full in-memory BOF loader for macOS and Linux
An open source, self-hosted implementation of the Tailscale control server
Offensive security framework for AI agent infrastructure - recon, credential looting, model exfiltration, poisoning, and attack-path analysis across MCP, A2A, gateways, and AI services. BloodHound …
A native iOS client for remote tmux workspaces, designed to feel natural on iPhone.
Open-source sandboxed agent harness for teams. Giving every employee a secured personal agent.
A modular, stack-agnostic toolkit for AI coding agents to autonomously find, reproduce, and patch vulnerabilities.
Agentic AI security tool that applies proactive, attacker-first analysis directly to source code.
AI-native, free, open-source alternative to Jira, Trello, ClickUp & Monday. Built for Scrum teams where humans and AI agents collaborate as equals — on the same board, the same sprints, the same go…