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 skills add fgmacedo/agent-skills --skill python-typinggit clone --depth 1 https://github.com/fgmacedo/agent-skillsWrote 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/skills/fgmacedo/agent-skills/python-typing)<a href="https://agentmods.dev/skills/fgmacedo/agent-skills/python-typing"><img src="https://agentmods.dev/badge/skills/fgmacedo/agent-skills/python-typing/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/skills/fgmacedo/agent-skills/python-typing"><img src="https://agentmods.dev/badge/skills/fgmacedo/agent-skills/python-typing.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.00104 | $0.02380 |
| Opus 5.5 | $0.00042 | $0.00952 |
| Sonnet 5.5 | $0.00021 | $0.00476 |
| Haiku 4.5 | $0.00010 | $0.00238 |
Grade A, and why
python-typing 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 4d 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 — 154 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Python typing: mypy, pyright, ty
A typing fix is done when every target checker sees the precise type at the call sites users
write, proven with assert_type probes. "The errors are gone" is not done: mypy and ty
silently turn unfinished fixes into Any / Unknown.
Do not report done until all four hold:
- Every public function and method you edited that callers reach through the requested API
has a precise return annotation (unannotated is
Anyin mypy,Unknownin ty; only pyright infers). Leave private helpers and closures alone;Anyadded to satisfy coverage is not a fix. - A probe asserts the result type of each API the request names, plus one line that must error, and is clean under every target checker.
- Each suppression you added was reported as needed by a checker, and none is unused.
- The project's own checker invocations and tests pass.
Verified with mypy 2.4.0, pyright 1.1.414, basedpyright 1.40.2, ty 0.0.86, Python 3.14.
Workflow
1. Detect and baseline
Use the checkers, config and exact commands that pre-commit and CI run, with the project's
venv (mypy --python-executable .venv/bin/python, pyright --pythonpath .venv/bin/python,
ty check --python .venv). Record error counts by rule before editing.
pyrightconfig.jsonreplaces[tool.pyright];ty.tomlreplaces[tool.ty]; an unknown[tool.ty]key makes ty exit 2.- mypy and pyright target
python_version/pythonVersion, else the interpreter; ty targets the lower bound ofrequires-python.
2. Fix with the first rung that works
- The code or the annotation. Real bugs get fixed; config errors get fixed in config.
- A precise construct:
@overload,Protocol,TypeVar/ParamSpec,Self,TypeIs, generic defaults, descriptor__get__overloads (recipes:references/patterns.md). - Declarations under
if TYPE_CHECKING:for members created at runtime. Runtime unchanged. - A
.pyistub next to the module, or a stub package for a third-party gap. - One
castinside one helper, never at call sites. - A narrow, coded suppression on the exact line (see Suppressions).
What ships with it
8 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.
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.
- 4d ago First seen · 154 lines · 104 tokens per session scan A d86ddcfc0256
python-typing is a skill published in the GitHub repository fgmacedo/agent-skills (10 stars, last pushed 5d ago), licensed MIT. It adds 104 tokens to every session and 2,380 once invoked, about $0.0004 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-10-14.
Other skills, from other repositories
matlab
Builds, reviews, migrates, and plans MATLAB or GNU Octave numerical workflows. Use for arrays, tabular/time data, tests, projects, graphics, MAT files, and explicit Python interoperability.
pennylane
Builds and differentiates PennyLane quantum circuits, hybrid PyTorch or JAX models, molecular VQE and QAOA workflows. Use for variational quantum algorithms, quantum machine learning, simulator validation, and moving validated circuits to provider plugins. For hardware-specific compilation use qiskit or cirq; for…
rocm-kernels
Provides guidance for writing and benchmarking optimized Triton kernels for AMD GPUs (MI355X, R9700) on ROCm, targeting HuggingFace diffusers (LTX-Video, SD3, FLUX) and transformers. Core kernels: RMSNorm, RoPE 3D, GEGLU, AdaLN. Includes XCD swizzle, autotune, diffusers integration patterns, and LTX-Video pipeline…
holoscan-install-wheel
Install Holoscan SDK Python wheel via pip into a venv. Use for Python installs; not for native C++/apt or Conda installs.
typing-exclusion-worker
Python typing exclusion worker: remove assigned mypy exclusion modules in small scoped batches, fix typing issues, run validation, and produce a structured completion summary. Use when running parallel typing-debt workers or when asked to remove modules from pyproject mypy exclusion overrides.
python
Python development with ruff, mypy, pytest - TDD and type safety.