#cli

OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to reimplement Z3 in Pure Rust. Pure Rust is a fundamental requirement - no C/C++ dependencies, no FFI bindings, just clean, safe Rust code.

Command line tool and Java API for ontology engineering

CLI for interacting with Cloudflare

DataTug's code Go code

a client for vpngate.net

all-in-one modern toolchain, CLI and meta-framework orchestrator, process and project manager for the Go dev community

Audit and fix your Mac's security in one command. No agent, no signup, open source.

It's not just a cross-platform TUI app that quickly opens Android & iOS emulators/simulators

A command-line client for the Open Science Framework

Automatically itemize and categorize retail transactions in Monarch Money

El repositorio no publica descripción.

a command line tool for doing all things nostr

小白羊网盘 - Powered by 阿里云盘。

A gh-dash-style terminal dashboard (TUI) for Gitea & Forgejo — PRs, issues, notifications, Actions runs, and branches. Go + Bubble Tea.

🚀 gghstats — self-hosted GitHub traffic stats beyond 14 days (Go, SQLite, dashboard)

High-performance Rust PDF extraction library with Markdown/JSON output, CJK/RTL support, multi-column layout detection, and Python/.NET/CLI bindings.

Bee.NET — A modular, definition-driven .NET framework for enterprise apps. N-Tier + Clean Architecture + MVVM.

Package manager for AI coding skills — search, install, and sync SKILL.md skills across Claude Code, Windsurf, and Cursor

Golang based Ecwid api client for https://docs.ecwid.com/api-reference

Terminal-based, Agent-friendly Ticketing System

Recommends the right AI model, platform, and settings for any prompt — grounded in public benchmarks and per-category ratings. BYO-key CLI, MCP server, and web app.

A powerful CLI for AI-powered chat, automation, and multi-platform integrations — terminal-native alternative to Claude Code & OpenClaw. Chat with your bots, automate workflows, and connect Telegram, Discord, Slack & more.

Your agentic nervous system.

Closed-loop application library for Cobra commands (powerful, ready-to-run and easy to use)

MCP server + CLI giving AI agents 50 spreadsheet tools for .xlsx — live-recalc formulas (~390 Excel functions), repair broken references & external links, read/write, diff, and audit. Works in Claude Code, Cursor, Codex, and any MCP client.

🤖 A modern command-line & library HTTP client, "for the API era." Like httpie, written in & for TypeScript.

Open-source delivery platform for TypeScript teams — feature factory, quality gates, CI/GitHub push, 768-pack marketplace, compliance, runtime observer, and AI repair.

Ticket-driven local workspaces with per-task Git worktrees and optional cmux workspace mapping.

VS Code + IntelliJ IDEA extension for editing and previewing Transitrix diagrams — BPMN, Goals, DGCA, capability maps. Text-first; live preview as you type. MIT licensed.

한국투자증권 OpenAPI Python 래퍼 — CLI · Python SDK · LLM Agent · 실시간 WebSocket. 문서: unohee.github.io/kis-agent