Browse Secure Claude Skills
Search verified agent skills and review security grades before installing · full A–Z index
- Sokrates ImproveImproves source code where a Sokrates analysis says it matters and proves it with the same numbers: picks a target (a complex or long unit, a duplicated block, a churn-times-complexity hotspot, or an AI finding with a recommendation), makes one behaviour-preserving change on a branch, re-measures, and reports before/after; across a landscape it ranks targets of every repository together. Use to reduce complexity or duplication, refactor hotspots, fix the top findings, or pay down debt measura...Votes: 0GitHub stars: 3
- Pr Comments FixFetch PR review comments, evaluate each critically, fix valid ones, reject wrong suggestions. Use when asked to check PR comments, fix review feedback, or handle PR review.Votes: 0GitHub stars: 3
- Rust CoreUse when writing, reviewing, or refactoring Rust code. Covers ownership, borrowing, error handling, async patterns, API design, memory optimization, performance, testing, and common anti-patterns. Targets Rust 1.80+ and Edition 2024. Invoke with /rust-core.Votes: 0GitHub stars: 21
- PyqtUse when building cross-platform desktop apps with PyQt6 or PySide6 - hub for installation, project structure, signals and slots basics, and pointers to widgets, styling, dialogs, threading, and testing sub-skillsVotes: 0GitHub stars: 21
- Test AuditInvoke whenever writing, changing, reviewing, or sweeping tests. Authoring gate for new tests plus audit workflow for low-value, implementation-coupled, or duplicative tests and the test-only production seams they demand.Votes: 0GitHub stars: 3
- Dl Rust Engineering ExpertExpert Rust software engineering for implementation, debugging, maintenance, refactoring, code review, performance optimization, reliability, async/concurrency, unsafe-code review, Cargo workspaces, testing, and release readiness. Use when working on Rust source code, Cargo manifests, Rust architecture, compiler or Clippy errors, dependency/MSRV/semver issues, benchmarks, profiling, memory/CPU/latency optimization, or production hardening.Votes: 0GitHub stars: 3
- TinybirdTinybird file formats, SQL rules, optimization patterns, and best practices for datasources, pipes, endpoints, and materialized views.Votes: 0GitHub stars: 1,799
- LandFinish a development branch. Use when implementation is complete and the work needs to be merged, pushed as a PR, kept, or discarded.Votes: 0GitHub stars: 10
- Linus ReviewUse when the user requests a code review focused on engineering correctness, code quality, and technical rigor. On-demand Linus Torvalds persona review evaluating abstractions, error handling, security, logging/observability, performance, and whether the code is actually good. Trigger this skill whenever the user asks for a "linus review", "linus style", "engineering review", "correctness review", "technical review", deep code quality analysis, or wants to know if their code is actually corre...Votes: 0GitHub stars: 2
- Elon ReviewUse when the user requests a code review with technical and business recommendations. On-demand review combining Elon Musk's first-principles thinking with structured diff analysis, observability, and broader architecture assessment. Trigger this skill whenever the user asks for an "elon review", "elon style", "musk review", "first principles review", "business value review", or wants to know if a feature should exist, if the code could be 10x simpler, what to delete, or what the opportunity ...Votes: 0GitHub stars: 2
- Code ReviewReview a specific diff, pull request, or commit range for correctness, maintainability, and repository standards. Not for whole-codebase or current-state subsystem audits.Votes: 0GitHub stars: 3
- Composition PatternsComposition patterns for building flexible, maintainable React components. Avoid boolean prop proliferation by using compound components, lifting state, and composing internals. These patterns make codebases easier for both humans and AI agents to work with as they scale.Votes: 0GitHub stars: 31,706
- 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
- 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