Atheris Skill
SkillSecurityPython fuzzing with Atheris for discovering vulnerabilities in Python code.
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Atheris Skill skill
What this skill tells your AI
The instructions your AI receives, as published by plurigrid/asi in skills/atheris/SKILL.md and read by ahel’s review.
Trit: -1 (MINUS) Category: testing-handbook-skills Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0
Description
Python fuzzing with Atheris for discovering vulnerabilities in Python code.
When to Use
This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.
See: https://github.com/trailofbits/skills
Related Skills
- audit-context-building
- codeql
- semgrep
- variant-analysis
SDF Interleaving
This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):
Primary Chapter: 3. Variations on an Arithmetic Theme
Concepts: generic arithmetic, coercion, symbolic, numeric
GF(3) Balanced Triad
atheris (+) + SDF.Ch3 (○) + [balancer] (−) = 0
Skill Trit: 1 (PLUS - generation)
Connection Pattern
Generic arithmetic crosses type boundaries. This skill handles heterogeneous data.
Signals
- GitHub stars
- 63
- Forks
- 12
- Last commit
- Jul 2026
Advanced
- Catalog kind
- skill
- Gateway key
atheris-plurigrid- Source
- github.com/plurigrid/asi