#cli

Auxly Memory CLI

A local-first, file-based memory CLI for AI tools. Own your context in plain Markdown — auditable, versionable, and provider-agnostic.

Mythos Agent

The AI security agent guards your code.

CodeAgora

Code review, but with 5 models arguing first.

Source Code

MCP-ecosystem CLI adapter — convert MCP servers into discoverable, scriptable CLI tools.

Code Search

Self-hosted code search and bulk operations across all your repositories. Powered by Zoekt.

Declaw CLI

Command-line interface for Declaw — security-first sandboxing for AI agents

LeanProbe

Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.

CLI Tools

사람과 에이전트를 위한 한국 법령·판례·행정규칙·자치법규 조회 CLI·MCP 도구

Cert Pepper

Adaptive CLI study tool for IT certification exams — FSRS spaced repetition meets AI explanations

Spanly

Observability for MCP servers and AI agents. TypeScript SDK, Python SDK, and CLI.

Retyc CLI

Official CLI client for Retyc with MCP server

HwpForge

Rust library for programmatic control of Korean HWPX documents — Markdown→HWPX conversion, JSON round-trip editing, MCP server for AI agen...