cli

Forall is an AI coding agent from Astrio that generates spec-driven code with machine-checkable proofs. The repo shows two usage paths: a CLI workflow and a hosted MCP verify-only mode for tools like Cursor, Claude Code, or Codex.

AI-powered security scanner for modern web apps that combines SAST, DAST, and LLM-assisted code review in a single command. The repository includes install steps, quick-start commands, supported stacks, and examples for scanning live URLs or source code.

Kote is a developer memory layer that captures AI chats, Git activity, and development decisions, then makes them searchable in the IDE, web app, CLI, messaging apps, and MCP-enabled assistants.

peek-cli lets coding agents capture screenshots of open browser tabs through a browser extension and WebSocket daemon. The repo shows CLI usage, installation steps, supported integrations, and a safety explanation.

INFINI is an open-source portable agent loop spec and reference implementation for defining workflows in a Loopfile and running them across engines. The repo includes a CLI, mock-mode execution, trace comparison, audit checks, and a prototype UI.

Standalone Playwright CLI for AI agent browser automation. It provides a real Chromium browser with structured commands, persistent sessions, token-optimized screenshots, and an eval escape hatch for custom interactions.

A Rust CLI and MCP server for orchestrating multiple coding agents, fusing their answers, and resuming or routing agent sessions locally.

A local-first MCP server and companion CLI/TUI for giving AI agents a user-owned self model and scoped memory. It stores facets and audit events locally, supports approval-gated writes, and includes export/import for portability.

Open-source MCP server and CLI that lets an LLM control hardware workflows like compiling, flashing, and reading serial output for firmware development and device diagnostics.

Ponytrail is a CLI and bundled agent skill for tracking why files changed, viewing a local history tree, and reverting snapshots in AI coding workflows.

Open-source technical SEO and GEO crawler for humans and agents. It offers a CLI, MCP server, and agent skills for crawling sites, checking broken links and metadata, and generating JSON/HTML reports.

macOS CLI tool that load-balances Claude Code sessions across multiple subscriptions by selecting the emptiest account before launch.

A minimal native macOS sandbox for running Claude Code or Codex with OS-enforced limits on what the agent can touch.

A lightweight terminal AI sidecar for Zellij that keeps quick questions separate from your main agent session, with local JSONL logging, SQLite search, and multiple LLM provider options.

Local-first agentic coding assistant in Rust with a terminal UI, embedded web UI, phone app, always-on gateway, and LAN grid dispatch across multiple machines.

CLI for installing, switching, and managing collections of agent skills and agent-specific configurations across multiple coding tools.

Open-source local document memory for AI tools, coding agents, and humans. It offers a local CLI, optional daemon, searchable notes, metadata, tags, links, and version history.

A macOS utility that compresses screenshots locally and copies them to the clipboard for use with coding agents like Codex and Claude.

VAEN is a CLI for packaging AI coding-agent setups into portable .agent archives and importing them across repos or teams without copying instructions, skills, MCP config, or secrets.

A file-based protocol and CLI for coordinating multiple AI agents across runtimes, with typed messages, review loops, and shared memory on the local filesystem.

A local-first AI memory engine for asking questions over selected files on your computer using Ollama, embeddings, and a custom vector database.

A file-backed workflow for resumable coding-agent projects, using Markdown records, a CLI, and bundled workflow skills to keep project state on disk instead of in chat.

Local-first memory layer for coding agents with an MCP server, CLI, and desktop console for durable project context, handoffs, and recall across sessions.

A secure Model Context Protocol server that gives AI assistants controlled terminal access with risk analysis, sandboxing, logging, filesystem protection, and optional Docker and Git features.