Synaptic SkillsSynapticSkills
MarketplaceSkill GraphCriar SkillMCP ServerPlataformaEnterprise
v0.1.0-beta
Voltar ao Marketplace
DevelopmentMédio

Unsafe Rust Checker

poractionbook·actionbook· v1.0.0 · atualizado em 2026-04-11
79
Score

CRITICAL: Use for unsafe Rust code review and FFI. Triggers on: unsafe, raw pointer, FFI, extern, transmute, *mut, *const, union, #[repr(C)], libc, std::ffi, MaybeUninit, NonNull, SAFETY comment, soundness, undefined behavior, UB, safe wrapper, memory layout, bindgen, cbindgen, CString, CStr, 安全抽象, 裸指针, 外部函数接口, 内存布局, 不安全代码, FFI 绑定, 未定义行为

rustunsafe-rustffimemory-safetycode-reviewsoundnesssafety-comments
Linguagens
Rust
0Stars
0Forks
0Usos
Fork

Documento do Skill

SKILL.mdunsafe-checker/workflow
1
Identify Unsafe Code: — Locate all instances of `unsafe` blocks, raw pointers, FFI calls, and related keywords.
2
Check for Safety Comments: — Verify that each `unsafe` block and function has a `// SAFETY:` comment explaining why it is safe.
3
Evaluate Memory Safety: — Analyze the code for potential memory safety issues, such as null pointer dereferences, use-after-free errors, and data races.
4
Assess Alignment: — Ensure that data structures and memory accesses are properly aligned, especially when using `#[repr(C)]`.
5
Review FFI Bindings: — Validate the correctness of FFI bindings, including function signatures and ABIs.
6
Suggest Improvements: — Recommend safer alternatives, such as using `MaybeUninit` instead of `mem::uninitialized()` or `AtomicT` instead of `static mut`.
7
Summarize Findings: — Provide a summary of the review, highlighting any remaining risks or areas for improvement.

Telemetria de Agentes

Execuções
0
total
Taxa de Sucesso
0%
últimos 30d
Latência Média
0.0s
p50
Alucinação
0.0%
detecção
Tokens Entrada
0
avg 0/exec
Tokens Saída
0
avg 0/exec

Uso por Plataforma

Skills Relacionados

Similar aFinding Duplicate-Intent Functions
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
83
Similar aAI Project Discovery Protocol
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
83
Similar a ←Dart Best Practices
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
78
Similar a ←Rust Refactor Helper
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
80
Similar a ←Rust Symbol Analyzer
60%
Hebbian Synapse
Composite0.600
w = 0.3·α + 0.5·β + 0.2·γ
79

Árvore do Skill

Unsafe Rust Checker
unsafe-checker
Fases Cognitivas5
1.SENSE
2.CONTEXTUALIZE
3.EVALUATE
4.RECOMMEND
5.REFLECT
Triggers7
review unsafe rust codecheck for memory safety issues in rustfind undefined behavior in rustaudit FFI bindings in rustensure soundness of unsafe rust codevalidate safety comments in rustanalyze raw pointer usage in rust

Avaliar este Skill

Score Breakdown

⭐Avaliação Humana0%
🤖Sucesso de Agentes0%
🕐Atualidade100%
🔗Saúde de Dependências100%
🕸️Centralidade no Grafo0%
🛡️Segurança50%
CompositeScore = α·Humano + β·Agente + γ·Recência + δ·Deps + ε·Centralidade + ζ·Segurança

Instalação

$ synaptic mcp download unsafe-checker
$ synaptic skills detail unsafe-checker
$ synaptic skills live unsafe-checker

Links

GitHub Repository