Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
npx agentmods add instructions/paiml/depyler/gemini-mdgit clone --depth 1 https://github.com/paiml/depylerWrote 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.
[](https://agentmods.dev/instructions/paiml/depyler/gemini-md)<a href="https://agentmods.dev/instructions/paiml/depyler/gemini-md"><img src="https://agentmods.dev/badge/instructions/paiml/depyler/gemini-md.svg" alt="Measured on agentmods" height="20"></a>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.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5 | $0.00895 | $0.00895 |
| Opus 5 | $0.00447 | $0.00447 |
| Sonnet 5 | $0.00179 | $0.00179 |
| Haiku 4.5 | $0.00089 | $0.00089 |
Grade A, and why
depyler GEMINI.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 5d 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.
How it starts
The opening of the file, as written. The whole thing — 105 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Depyler: Python to Rust Transpiler
This document provides a high-level overview of the Depyler project, intended for new contributors and users.
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 checkto verify contract coverage - Minimum verification level: L1 (recommended L3+)
- See docs/agent-instructions/provable-contract-first-agents.md for the full workflow
Project Overview
Depyler is a sophisticated transpiler that converts Python code into safe, idiomatic, and energy-efficient Rust code. It leverages Python's type annotations to generate high-quality Rust code, and includes a semantic verification engine to ensure that the transpiled code is behaviorally equivalent to the original Python source.
The project is designed with a focus on correctness, performance, and developer productivity. It provides tools for not only transpilation but also for analyzing the complexity of migrating Python codebases to Rust.
Key Features
- Python to Rust Transpilation: Converts a significant subset of the Python language to Rust, including functions, classes, collections, control flow, and async/await.
- Semantic Verification: Uses property-based testing to verify the correctness of the transpiled code.
- Migration Analysis: Provides a tool to analyze Python code and estimate the effort required for migration to Rust.
- Modular Architecture: The project is organized as a Cargo workspace with several specialized crates, promoting separation of concerns and maintainability.
- AI Assistant Integration: Includes an MCP (Model Context Protocol) server for integration with AI assistants, enabling code transformation and analysis through a conversational interface.
- High-Quality Standards: The project adheres to strict quality gates, including high test coverage, low cyclomatic complexity, and comprehensive documentation.
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.
- 5d ago First seen · 105 lines · 895 tokens per session scan A b5f60614dfa1
depyler GEMINI.md is an instructions file published in the GitHub repository paiml/depyler (358 stars, last pushed 4mo ago), licensed MIT. It adds 895 tokens to every session, about $0.0045 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.
Other instructions, from other repositories
monty CLAUDE.md
Claude Code instructions for pydantic/monty, covering claude.md, project overview, monty-types — shared boundary types, cross-platform requirements and important security notice.
rez-next AGENTS.md
AGENTS.md instructions for loonghao/rez-next, covering rez-next - ai agent guide, project overview, quick start, drop-in replacement for most use cases and supported top-level api.
NexusTrader CLAUDE.md
Instructions for Quantweb3-com/NexusTrader, covering claude.md, project overview, development commands, dependencies and setup and install with uv (package manager used in this project).
epistemic-graph AGENTS.md
Instructions for Knuckles-Team/epistemic-graph, covering agents.md — epistemic graph compute engine, epistemic os surfaces in the main build, commands for ai agents, python api (out-of-process client — not in-process) and async.
rez-next GEMINI.md
Gemini CLI instructions for loonghao/rez-next, covering gemini.md - google gemini guidance for rez-next, for google gemini agents, 1. start here, 2. key principles and 3. python code patterns.
intelligent-terminal rust.instructions.md
Concise Rust coding conventions for this repository.