depyler CLAUDE.md

depyler CLAUDE.md is an instructions file for Claude Code from paiml/depyler. It costs 2,877 tokens per session, scanned A, original, MIT.

A set of coding instructions for Depyler, a compiler that converts Python code into Rust code. It requires contracts—written rules describing expected behavior—before implementation and sets project-specific ways to work and verify changes.

In plain words
What is it for?
Use it when implementing or modifying Depyler. It guides contract-first development, Python package commands, code search, and compilation-quality checks.
Why use it?
It gives coding agents consistent rules for changing the compiler and checking their work. This reduces unverified changes and avoids using the wrong tools or project workflow.

Instructions file for Claude Code

Written for Claude Code: the file is CLAUDE.md. Also seen: mentions CLAUDE.md.

Not installable: its command points at a path on the author’s own machine, so it runs nowhere else. The line is /home/noah/src/renacer/target/debug/renacer.

Install

Getting it into your agent

There is no command for this one: it runs only inside a plugin, and the catalogue could not identify which plugin ships it. The source is linked below.

Made for: Claude Code.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for depyler CLAUDE.md

README.md
[![agentmods](https://agentmods.dev/badge/instructions/paiml/depyler/claude-md.svg)](https://agentmods.dev/instructions/paiml/depyler/claude-md)
Your own site
<a href="https://agentmods.dev/instructions/paiml/depyler/claude-md"><img src="https://agentmods.dev/badge/instructions/paiml/depyler/claude-md.svg" alt="Measured on agentmods" height="20"></a>
Per session 2,877 This file is loaded in full into every session.
When invoked 2,877 The same file — it is already loaded in full.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.02877 $0.02877
Opus 5 $0.01438 $0.01438
Sonnet 5 $0.00575 $0.00575
Haiku 4.5 $0.00288 $0.00288

Measured 6d ago against content hash 38993a938a5b, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-06, from the pricing page.

Security

Grade A, and why

depyler CLAUDE.md scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 6d ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

CLAUDE.md · 280 lines

How it starts

The opening of the file, as written. The whole thing — 280 lines — stays where its author put it; the contents beside it link to each section on GitHub.

CLAUDE.md - Depyler Compiler Implementation Protocol

CRITICAL: Contract-First Design

NEVER write code before writing a provable contract.

All code changes MUST have a corresponding contract (YAML in ../provable-contracts/contracts// or .pmat-work//contract.json) BEFORE implementation. This is enforced by pmat comply CB-1400.

  • Use pmat comply check to verify contract coverage
  • Minimum verification level: L1 (recommended L3+)
  • See docs/agent-instructions/provable-contract-first-agents.md for the full workflow

Prime Directive

Generate correct Rust code that compiles on first attempt. Quality is built-in, not bolted-on.

Project Context

Depyler is a Python-to-Rust transpiler focusing on energy-efficient, safe code generation with progressive verification.

Python Packaging Protocol

MANDATORY: Use uv for ALL Python operations (uv add, uv run pytest, uv run <script.py>)

Code Search (pmat query)

NEVER use grep or rg for code discovery. Use pmat query instead -- it returns quality-annotated, ranked results with TDG scores and fault annotations.

# Find functions by intent
pmat query "python ast conversion" --limit 10

# Find high-quality code
pmat query "type inference" --min-grade A --exclude-tests

# Find with fault annotations (unwrap, panic, unsafe, etc.)
pmat query "transpilation pass" --faults

# Filter by complexity
pmat query "code generation" --max-complexity 10

# Cross-project search
pmat query "rust codegen" --include-project ../trueno

# Git history search (find code by commit intent via RRF fusion)
pmat query "fix type mapping" -G
pmat query "ast visitor" --git-history

# Enrichment flags (combine freely)
pmat query "ast visitor" --churn              # git volatility (commit count, churn score)
pmat query "pattern matcher" --duplicates           # code clone detection (MinHash+LSH)
pmat query "code emitter" --entropy           # pattern diversity (repetitive vs unique)
pmat query "transpilation" --churn --duplicates --entropy --faults -G  # full audit

Read the full file on GitHub · 280 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 6d ago First seen · 280 lines · 2,877 tokens per session scan A 38993a938a5b

Subscribe to this mod's changes

depyler CLAUDE.md is an instructions file published in the GitHub repository paiml/depyler (358 stars, last pushed 4mo ago), licensed MIT. It adds 2,877 tokens to every session, about $0.0144 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.