ironwood

ironwood contains 1 collected skills from zcash, with repository-level occupation coverage and site-owned skill detail pages.

skills collected

Stars

updated

2026-07-11

Forks

Occupation coverage

1 occupation categories · 100% classified

repository explorer

Skills in this repository

creator/repo/skill

skill

occupation

description

updated

Writing, tightening, and auditing Lean doc comments in the ironwood soundness stack (issue