Experimental bot scripts to help to maintain Bitcoin Core (or other large open source projects).
Realistic first-contribution target: active project, 12 open issues, small enough for a newcomer PR to land.
Derived from this repo's Cargo dependencies and activity — difficulty is an estimate from codebase size and scope.
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
Experimental bot scripts to help to maintain Bitcoin Core (or other large open source projects).
unica
Extract values from anything — JSON, YAML, TOML, .env, HTTP headers, logfmt, CSV, and more
Next-generation SQL static analyzer written in Rust. 282+ rules. Zero false positives. Security, performance, reliability, cost, compliance, quality. 14 SQL dialects. Offline. CI/CD ready.
My Public Second Brain Framework and Style (Quartz V3-Hugo)
`clar2wasm` is a compiler for generating WebAssembly from Clarity.
A recursive language-model (RLM) harness for Rust.
Agent harness for codebases. Gives Claude Code, Codex, and CI a shared task system, verdict ledger, and state store so agent work is traceable and auditable.
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.