Borrowing it
Nothing to install: this file belongs to paiml/depyler. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/paiml/depyler/main/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/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/instructions/paiml/depyler/gemini-md"><img src="https://agentmods.dev/badge/instructions/paiml/depyler/gemini-md.svg" alt="Reviewed on agentmods" width="80" 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.1 | $0.00895 | $0.00895 |
| Opus 5.5 | $0.00358 | $0.00358 |
| Sonnet 5.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 2mo 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.
- 2mo 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 (366 stars, last pushed 2d ago), licensed MIT. It adds 895 tokens to every session, about $0.0036 per session on Opus 5.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.
depyler GEMINI.md compared with instructions from other repositories
| Mod | Type | Stars | Last push | Licence | Scan | Tokens | Works with |
|---|---|---|---|---|---|---|---|
| depyler GEMINI.mdpaiml/depyler | Instructions file | 366 | 2d ago | MIT | A | 895 | Gemini CLI |
| vscode buildNext.instructions.mdmicrosoft/vscode | Instructions file | 195k | today | MIT | A | 9,719 | GitHub Copilot |
| next.js AGENTS.mdvercel/next.js | Instructions file | 143k | today | MIT | A | 7,461 | Codex, OpenCode |
| langchain AGENTS.mdlangchain-ai/langchain | Instructions file | 149k | today | MIT | A | 4,680 | Codex, OpenCode |
| vscode oss-third-party-notices.instructions.mdmicrosoft/vscode | Instructions file | 195k | today | MIT | A | 5,516 | GitHub Copilot |
| vscode copilot-instructions.mdmicrosoft/vscode | Instructions file | 195k | today | MIT | A | 3,093 | GitHub Copilot |
| vscode ai-customization.instructions.mdmicrosoft/vscode | Instructions file | 195k | today | MIT | A | 1,907 | GitHub Copilot |