ragu
Parallel code review, book review, and formal verification workflows
All Skills in This Repository (4)
Pure Emerald Level Indicators
tachyon-zcashbook-refine
Incorporate user feedback into book review policies and standards.
tachyon-zcashbook-review
Coordinate parallel reviewer agents to critique specified portions of The Ragu Book.
tachyon-zcashbook-fixme
Parse book/FIXME.md deferred issues and apply approved fixes.
tachyon-zcashhelp-book-review
Read .claude/book-review/ policy files to generate structured help output.
Frequently Asked Questions
FAQPage SchemaHow to install ragu skills?▼
Run `npx skills add tachyon-zcash/ragu --all -g -y` in your terminal to install all skills in this collection globally.
How to review Rust code with parallel reviewers?▼
Invoke the code-review skill with a file path, diff, or PR number, and it launches one specialist reviewer per policy file, then merges their findings into a single prioritized report.
Can these skills review book chapters and documentation?▼
Yes. The book-review and doc-audit skills check grammar, structure, math notation, formatting, and whether content is placed in the right surface between the book and rustdoc.
How does the formal verification guidance work?▼
The fv-docs and fv-review skills provide canonical definitions and proven patterns for writing formally verified zero-knowledge circuits in the Clean Lean DSL, including spec style and proof tactics.
Can the review system learn from my feedback?▼
Yes. The code-refine and book-refine skills generalize your corrections into durable policy rules, so future reviews automatically follow your preferences.
Related Repositories in Software Engineering
View All in Software Engineering→
openclawopenclaw
Run a personal AI assistant across your devices and chat apps
obrasuperpowers
Gives coding agents a disciplined workflow from idea to merged code
facebookreact
AI agent skills for building, testing, and porting React core