Experimental bot scripts to help to maintain Bitcoin Core (or other large open source projects).
⑂ 17◎ 10
Archive
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).
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
recall your second brain
Local-first AI work memory that compounds: capture decisions, lessons, gotchas in flow, distill into source-backed wiki pages, recall across sessions and any MCP client (Claude Code, Codex, etc...). Plain Markdown you own.
Wenlan (文瀾) is a personal knowledge base for the AI-native age. Your AI agents capture what they learn, Wenlan keeps it current and distills it into source-cited wiki pages you can trust
Generate fully-typed, lint-clean language bindings for Rust libraries across 16 languages
An AI agent for teams, communities, and multi-user environments.
Generate fully-typed, lint-clean language bindings for Rust libraries across 16 languages
Codex Switch & Instruct desktop manager
Mantis Hack