Skip to main content

a16z/jolt

SkillsMP a collecté 7 skills depuis a16z/jolt. Ouvrez un skill pour examiner sa source et ses détails.

Dernière activité source enregistrée
Catalogue SkillsMP mis à jour
skills collectés
7
Étoiles GitHub
1 045
Forks GitHub
338

Installer avec un assistant IA

Copiez ce prompt dans l’assistant IA que vous utilisez.

Skills dans ce dépôt

Affichage de 7 skills collectés sur 7.

métier
non classé
description

Wrap a Rust function in a Jolt zero-knowledge proof

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

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

Langue du texte source : anglais

mis à jour
métier
non classé
description

Implement a new invariant for jolt-eval

Langue du texte source : anglais

mis à jour
métier
non classé
description

Implement a new objective for jolt-eval

Langue du texte source : anglais

mis à jour
métier
Analystes en assurance qualité des logiciels et testeurs
description

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 -…

Langue du texte source : anglais

mis à jour
métier
Développeurs de logiciels
description

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

Langue du texte source : anglais

mis à jour
Affichage de 7 skills collectés sur 7.