Skip to main content

a16z/jolt

SkillsMP は a16z/jolt から 7 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

記録された最新のソース活動
SkillsMP カタログ更新
収集済み skills
7
GitHub スター
1,022
GitHub フォーク
331

このリポジトリの skills

収集済み skill 7 件中 7 件を表示しています。

職業分類
ソフトウェア開発者
説明

Wrap a Rust function in a Jolt zero-knowledge proof

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Spec analysis with ambiguity scoring — interactive locally, single-pass remotely via label

原文の言語: 英語

更新
職業分類
ソフトウェア品質保証アナリスト・テスター
説明

Deep code review of a pull request using parallel analysis agents (semantic consistency, bugs, tech debt, security). USE FOR: - Reviewing PRs for bugs, security issues, and code quality - Analyzing new abstractions for consistency and correctness -…

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Autonomous one-shot implementation from an approved spec (local/cloud only)

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Implement a new invariant for jolt-eval

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Implement a new objective for jolt-eval

原文の言語: 英語

更新
職業分類
ソフトウェア開発者
説明

Create a new spec through Socratic interview, filling each template section to zero ambiguity

原文の言語: 英語

更新
収集済み skill 7 件中 7 件を表示しています。