القائمة
جمع SkillsMP عدد ٣ من skills من geekstrancend/Truent. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ٣ من أصل ٣ skills مجمعة.
Deterministic-first smart-contract security audit. Runs Truent's compiled engine (static analysis + dynamic invariant fuzzing with real EVM execution) for machine-verified, reproducible findings, then amplifies coverage with specialized LLM attacker lenses…
لغة النص الأصلي: الإنجليزية
Stateful invariant fuzzing for smart contracts. Default path runs Truent's native revm-backed fuzzer — auto-detected invariants, adversarial call sequences, and minimal-PoC shrinking in one binary, no external toolchain. Optionally emits an equivalent…
لغة النص الأصلي: الإنجليزية
Pre-audit reconnaissance for a smart-contract codebase. Produces a recon report (overview, threat model, entry points, synthesized invariants, git-history risk map, test/coverage gaps, and a prioritized audit plan) — and, unlike a report-only recon, feeds the…
لغة النص الأصلي: الإنجليزية