Results for pr_log

Opinionated `jj` tools for working with GitHub from your terminal

A CI tool to update change log in a PR

Mimir librarian for governed draft ingestion, validation, and canonical memory commits.

Detect which binary entrypoints in a Rust workspace are affected by code changes, without building, by driving rust-analyzer over LSP.

Git-native task tracker for parallel agent workflows

The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs

Rust task runner and build tool.

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Unified TUI search over local coding agent histories

LLM Bot that reviews Pull Requests for Apache NuttX RTOS

Extension macros for output to the log crate.

Standalone GitHub poller that invokes a coding agent to merge main into pending auto-merge PRs.