663 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 도구
Production harness between LLMs and the real world. Kernel sandbox that cannot escape. Verification pipeline before delivery. On-chain attes...
Observability for MCP servers and AI agents. TypeScript SDK, Python SDK, and CLI.
