pegrex-audit
Audit source files for security issues with the pegrex engine (patterns + taint + SCA).
Skill by ovoxnox
Chalk Labs
Need help deploying pegrex-audit?
Chalk Labs sets up agents like this inside real teams: connected to your tools, tested on your data, with a human in the loop where it matters.
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/ovoxnox-pegrex-audit
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Use cases: security
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/pegrex-audit
What's inside
- Skill name
pegrex-audit- Description
- Audit source files for security issues with the pegrex engine (patterns + taint + SCA). Use when reviewing code, before merging, or when asked to find vulnerabilities.
- License
- MIT
- Instructions
- 31 lines in SKILL.md · view on GitHub
Files (1)
- SKILL.md
SKILL.md (first lines)
# pegrex security audit
## When to use
Reviewing any source file; pre-merge checks; vulnerability discovery.
## Commands
python pegrex.py audit <file> # human-readable
python pegrex.py audit <file> --json # machine-readable
python pegrex.py rules # catalog stats
Supported: .py .js .ts .tsx .go .rs .c .h .cpp .sol .jl .kt .zig .vy
## Reading the output
Findings sorted by severity (CRITICAL first). Each line:
SEVERITY CONFIDENCE RULE-ID LINE EVIDENCE
- `confidence: high` = qualified call-name match (precise)
- `confidence: medium` = auto-converted regex (can false-positive; eyeball it)
- `kind: taint` = data-flow finding (source reached a sink)
## Fixing
Every finding carries a `fix` field. CRITICALs first. Re-run `audit` after
each fix batch; the loop ends when only agreed LOWs remain.
## Gotchas (learned in production)
- Text-regex rules (`kind: pattern`) can match innocuous spans on short
files — cross-check `evidence` before reporting.
- Taint `strict_missing` rules report UNKNOWN for unresolvable identifiers;
that is intentional (unknown ≠ clean), not a false positive.From ovoxnox/pegrex, MIT.
More from ovoxnox/pegrex
- 0.565score
pegrex-specs
ovoxnox
Generate AI-consumable spec schemas (multi-view analysis with prioritized, machine-checkable tasks).
SkillAFreshness: AClaude Code +9 - 0.565score
pegrex-translate
ovoxnox
Verify cross-language translations and refactors with certificates.
SkillAFreshness: AClaude Code +9 - 0.565score
pegrex-agents
ovoxnox
Integrate pegrex with AI agents via its three protocols (JSON-lines service, ACP, MCP with router).
SkillAFreshness: AClaude Code +9 - 0.565score
pegrex-coverage
ovoxnox
Turn coverage data into constraint-aware gap analysis and synthesized tests.
SkillAFreshness: AClaude Code +9 - 0.559score
pegrex-verify
ovoxnox
Prove patches and diffs correct with verify_patch, semantic_diff, and the CEGIS repair loop.
SkillAFreshness: AClaude Code +9 - 0.556score
pegrex-twin
ovoxnox
Query the codebase twin (call graph, ownership, guards, cognitive complexity) and the org twin (teams x compliance x complexity).
SkillAFreshness: AClaude Code +9 - 0.556score
pegrex-infra
ovoxnox
Verify infrastructure-as-code (Zelkova-style IAM evaluation, Terraform findings) and sign provenance (SLSA-style attestations).
SkillAFreshness: AClaude Code +9 - 0.556score
pegrex-legacy
ovoxnox
Modernize COBOL and Fortran to certified Python (or back).
SkillAFreshness: AClaude Code +9 - 0.556score
pegrex-ml
ovoxnox
Verify ML graph equivalence after quantization or pruning with interval bounds plus concrete simulation.
SkillAFreshness: AClaude Code +9 - 0.556score
pegrex-concolic
ovoxnox
Run code concretely, collect branch traces, and flip branches by solving path constraints.
SkillAFreshness: AClaude Code +9 - 0.556score
pegrex-safety
ovoxnox
Constrain coding-agent actions with verified policies.
SkillAFreshness: AClaude Code +9 - 0.553score
pegrex-compliance
ovoxnox
GDPR data-flow findings, SOC2 control presence, legal-deadline CI artifacts.
SkillAFreshness: AClaude Code +9
Signals
- Stars
- 0
- Forks
- 0
- Open issues
- 0
- Last commit (this folder)
- Oct 24, 2026 (7 days ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- MIT
- Repository
- github.com/ovoxnox/pegrex
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from ovoxnox
- 0.565score
pegrex-agents
ovoxnox
Integrate pegrex with AI agents via its three protocols (JSON-lines service, ACP, MCP with router).
SkillAFreshness: AClaude Code +9 - 0.565score
pegrex-coverage
ovoxnox
Turn coverage data into constraint-aware gap analysis and synthesized tests.
SkillAFreshness: AClaude Code +9 - 0.565score
pegrex-specs
ovoxnox
Generate AI-consumable spec schemas (multi-view analysis with prioritized, machine-checkable tasks).
SkillAFreshness: AClaude Code +9 - 0.565score
pegrex-translate
ovoxnox
Verify cross-language translations and refactors with certificates.
SkillAFreshness: AClaude Code +9 - 0.559score
pegrex-verify
ovoxnox
Prove patches and diffs correct with verify_patch, semantic_diff, and the CEGIS repair loop.
SkillAFreshness: AClaude Code +9 - 0.556score
pegrex-concolic
ovoxnox
Run code concretely, collect branch traces, and flip branches by solving path constraints.
SkillAFreshness: AClaude Code +9
Done for you
Rather not set it up yourself?
Chalk Labs scopes, builds and runs agents for your team: the task audit, the eval harness, the integrations and the weekly ops report. Fixed scope, priced before we start.
See how we build AI agents →Read the case studies
Chalk Labs is a two-founder AI and growth studio. We build AI agents, CRMs and MVPs for Web3 and AI companies, and have shipped 50+ product and token launches.
- launches shipped
- 50+
- launches shipped
- media placements
- 500+
- media placements
- founders on every account
- 2
- founders on every account
Press we've placed: Forbes · CoinDesk · Decrypt · Cointelegraph · The Block
Rahil Jain, Co-founder, Chalk Labs. Ex-Goldman Sachs engineer. You talk to the person who builds it.
Get pegrex-audit running in your business
Tell us what you want to automate. A founder replies within one working day with a plan, not a pitch deck.
Cite this page
pegrex-audit skill. Agent Mart. https://agentmart.dev/skills/ovoxnox-pegrex-audit (last updated 2026-10-24)