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.
Posthog-compatible API layer for Cloudflare that writes to R2 Data Catalog (Iceberg)
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
mcp & skill scanner that scans any mcp server or skills for indirect attack vectors and security or configuration vulnerabilities
The CodeScene MCP Server exposes CodeScene’s Code Health analysis as local AI-friendly tools.
Forall (∀) is a coding agent from Astrio that helps developers build correct software by generating spec-driven code alongside machine-checkable proofs.
Offline-first synchronization engine for SQLite and PostgreSQL, built in Rust with column-level CRDTs, authoritative partial replicas, and secure multi- tenancy.
Open-Source Platform for Subagents and Agent Teams. Long-running, collaborative, proactive.
LeanKG: Stop Burning Tokens. Start Coding Lean.