Toolverse
All skills

noir-idioms

by noir-lang

Guidelines for writing idiomatic, efficient Noir programs. Use when writing or reviewing Noir code.

Installation

Pick a client and clone the repository into its skills directory.

Installation

Quick info

Author
noir-lang
Category
Backend
Views
3

About this skill

Guidelines for writing idiomatic, efficient Noir programs. Use when writing or reviewing Noir code.

How to use

  1. Zainstaluj skill noir-idioms w swoim środowisku Claude lub Copilot, wskazując repozytorium https://github.com/noir-lang/noir/tree/master/.claude/skills/noir-idioms. 2. Gdy piszesz lub przeglądasz kod Noir, aktywuj skill, aby otrzymać wytyczne dotyczące idiomatic i efektywności. 3. Zapamiętaj kluczową zasadę: zamiast wykonywać skomplikowane obliczenia w obwodzie (np. sortowanie tablicy), użyj funkcji unconstrained do obliczenia wyniku poza obwodem, a następnie zweryfikuj go za pomocą tanich ograniczeń. 4. Przy hintowaniu skupiaj się na wynikach końcowych, a nie na wartościach pośrednich — mniej hintowanych wartości oznacza mniej ograniczeń. 5. Do każdego bloku unsafe dodaj komentarz // Safety:, który wyjaśnia, dlaczego weryfikacja czyni hint bezpiecznym — opisz, jaką właściwość egzekwuje kod ograniczający. 6. Rozważ cel kompilacji (ACIR dla łańcuchów, Brillig dla obliczeń) i dostosuj strategie optymalizacji do kontekstu, w którym będzie uruchamiany kod.

Related skills

stripe-integration

by wshobson

Implement Stripe payment processing for robust, PCI-compliant payment flows including checkout, subscriptions, and webhooks. Use when integrating Stripe payments, building subscription systems, or implementing secure checkout flows.

Backend
40147

fastapi-templates

by wshobson

Create production-ready FastAPI projects with async patterns, dependency injection, and comprehensive error handling. Use when building new FastAPI applications or setting up backend API projects.

Backend
327582

openspec

by ruan-cat

OpenSpec 中文版规范助手 - 规范驱动的 AI 编程开发,帮助初始化、创建提案、编写规格、校验格式并归档变更。触发条件: 当用户提及 openspec、规范文档、需求管理、变更提案、spec-driven development 等关键词时主动调用。

Backend
27122

postgresql-psql

by timelessco

Comprehensive guide for PostgreSQL psql - the interactive terminal client for PostgreSQL. Use when connecting to PostgreSQL databases, executing queries, managing databases/tables, configuring connection options, formatting output, writing scripts, managing transactions, and

Backend
34173

scientific-writing

by K-Dense-AI

Write scientific manuscripts. IMRAD structure, citations (APA/AMA/Vancouver), figures/tables, reporting guidelines (CONSORT/STROBE/PRISMA), abstracts, for research papers and journal submissions.

Backend
47191

youtube-transcribe-skill

by feiskyer

Extract subtitles/transcripts from a YouTube video URL and save as a local file. Use when you need to extract subtitles from a YouTube video.

Backend
24178