Graph-based workflow enforcement and persistent memory for AI coding agents. Define structured workflows in YAML. Enforce them at tool boun...
#cli
724 posts
A local-first, file-based memory CLI for AI tools. Own your context in plain Markdown — auditable, versionable, and provider-agnostic.
The AI security agent guards your code.
Code review, but with 5 models arguing first.
Anchored comments for Markdown. You comment, the agent proposes, you decide. Byte-identical clean export.
Single-binary CLI that gives AI agents safe, structured file editing
MCP-ecosystem CLI adapter — convert MCP servers into discoverable, scriptable CLI tools.
Self-hosted code search and bulk operations across all your repositories. Powered by Zoekt.
Command-line interface for Declaw — security-first sandboxing for AI agents
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
사람과 에이전트를 위한 한국 법령·판례·행정규칙·자치법규 조회 CLI·MCP 도구
Rust library for programmatic control of Korean HWPX documents — Markdown→HWPX conversion, JSON round-trip editing, MCP server for AI agen...