Browse Secure Claude Skills
Search verified agent skills and review security grades before installing · full A–Z index
- Writing Lean ProofsWrites and reviews structured Lean 4 proofs and designs Lean libraries following Mathlib conventions. Use when proving theorems in Lean, formalizing mathematics or specifications in Lean 4, defining new types or definitions in a Lean library, reviewing Lean proofs for readability and maintainability, refactoring long tactic proofs into lemmas, filling in sorry placeholders in a Lean development, setting up CI or linters for a Lean project, diagnosing slow proofs or maxHeartbeats timeouts, or ...Votes: 0GitHub stars: 7,287
- Trailmark Review GateRuns a Trailmark structural review gate over a branch, pull request, fix commit, release diff, or git ref range to detect new entrypoints, new tainted paths, removed validation or authorization calls, privilege-boundary drift, blast-radius growth, complexity growth, and newly reachable sensitive sinks. Use when reviewing a PR, branch, remediation commit, or release diff where graph-level security regressions should be checked before merge.Votes: 0GitHub stars: 7,287
- Graph EvolutionCompares Trailmark code graphs at two source code snapshots (git commits, tags, or directories) to surface security-relevant structural changes. Detects new attack paths, complexity shifts, blast radius growth, taint propagation changes, and privilege boundary modifications that text diffs miss. Use when comparing code between commits or tags, analyzing structural evolution, detecting attack surface growth, reviewing what changed between audit snapshots, or finding security-relevant changes t...Votes: 0GitHub stars: 7,287
- TemplatesUse this template for language-specific fuzzers (libFuzzer, AFL++, cargo-fuzz, etc.).Votes: 0GitHub stars: 7,287
- Property Based TestingWrites, reviews, and debugs property-based tests — Hypothesis, fast-check, proptest, jqwik, rapid, and Echidna or Medusa for Solidity invariants. Use whenever tests should cover a whole input domain instead of a hand-picked list of examples: encode/decode and serialize/deserialize pairs, parsers, canonicalizers and normalizers, validators, numeric and Decimal types, comparators and sort order, data structures, and smart-contract state invariants. Also use when adding cases to an existing @giv...Votes: 0GitHub stars: 7,287
- Fp CheckSystematically verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each. Use when asked whether a specific finding is real, exploitable, or a false positive, or to verify or validate a suspected vulnerability — not for hunting or discovering new bugs.Votes: 0GitHub stars: 7,287
- Dwarf ExpertAnalyzes DWARF debug information in compiled binaries. Use when inspecting .debug_* sections, DIE trees, or DW_TAG_/DW_AT_ entries with dwarfdump/llvm-dwarfdump or readelf, verifying debug info with llvm-dwarfdump --verify, answering DWARF standard questions, or writing code that parses DWARF (libdwarf, pyelftools, gimli).Votes: 0GitHub stars: 7,287
- Review PrReviews the current branch's changes against its base branch as a pull request: correctness of new and modified code, test coverage for it, and documentation accuracy. Use when asked to review a branch, a diff, or a pull request.Votes: 0GitHub stars: 7,287
- CommitUse for every request to commit changes or draft a commit message. Creates Sentry-style conventional commits with issue references.Votes: 0GitHub stars: 1,037
- Code SimplifierSimplifies and refines code for clarity, consistency, and maintainability while preserving all functionality. Use when asked to "simplify code", "clean up code", "refactor for clarity", "improve readability", or review recently modified code for elegance. Focuses on project-specific best practices.Votes: 0GitHub stars: 1,037
- Agents MdCreates and maintains concise AGENTS.md and CLAUDE.md project instruction files. Use when asked to create AGENTS.md, update AGENTS.md, maintain agent docs, set up CLAUDE.md, document repository agent conventions, or keep coding-agent instructions minimal and reference-backed.Votes: 0GitHub stars: 1,037
- Review Quality ChangeReview a code change for correctness-maintainability defects not owned by a narrower security/performance/accessibility perspective. Use for an independent quality perspective on a defined change set.Votes: 0GitHub stars: 67
- Review Performance ChangeReview a change for material performance regressions or unbounded resource behavior. Use for an independent performance perspective on a defined change set.Votes: 0GitHub stars: 67
- RefactorSafe refactoring with comprehensive test coverageVotes: 0GitHub stars: 2
- OrchestrateEnd-to-end feature workflow - branch, implement, improve, PR, wait, pr-fixVotes: 0GitHub stars: 2
- ImplementFull TDD implementation of a feature with review cyclesVotes: 0GitHub stars: 2
- ContinuePick up unfinished work from where the last session left offVotes: 0GitHub stars: 2
- CleanupFind and remove dead code, unused imports, and technical debtVotes: 0GitHub stars: 2
- Context CompressionThis skill should be used when the user asks to "compress context", "summarize conversation history", "implement compaction", "reduce token usage", or mentions context compression, structured summarization, tokens-per-task optimization, or long-running agent sessions...Votes: 0GitHub stars: 8
- Power Skill RefactorUse when an existing skill must be refactored to cut context and ambiguity without losing behavior, safety or fallbacks — 'refatorar a skill', 'reduzir esta SKILL.md', 'revisar skill com métricas' — with before/after metrics, preserved invariants and three review rounds.Votes: 0GitHub stars: 3