agentmods.dev

omermaksutii

61 mods across 2 repositories, 54 stars between them.

Open on GitHub
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 61 mods

invariant

49

omermaksutii/RugProof

Command

Generate Foundry invariant tests for property-based fuzzing. The high-value command for serious teams.

9 1mo ago A 19 tokens original MIT

mint-cert

50

omermaksutii/RugProof

Command

Mint a soulbound Audit Certificate NFT on Berachain (or other supported chain) for a completed audit.

9 1mo ago A 22 tokens original MIT

monitor

51

omermaksutii/RugProof

Command

Set up post-deployment monitoring — recommend which on-chain events to alert on and scan recent activity for high-severity changes.

9 1mo ago A 25 tokens original MIT

mythril

52

omermaksutii/RugProof

Command

Run Mythril (symbolic execution) and have Claude triage its findings — turn symbolic counter-examples into Foundry PoCs.

9 1mo ago A 27 tokens original MIT

notify-slack

54

omermaksutii/RugProof

Command

Post the latest /audit results to a Slack channel via incoming webhook.

9 1mo ago A 14 tokens original MIT

pre-deploy

55

omermaksutii/RugProof

Command

Interactive pre-launch security checklist — walk the operational and code-safety gates and produce a final GO / NO-GO with each item PASS / FAIL / N-A.

9 1mo ago A 33 tokens original MIT

prover

56

omermaksutii/RugProof

Command

Formal verification entrypoint — prove a property holds for all inputs with Halmos (symbolic, offline) or Certora (CVL) using ready-made property templates.

9 1mo ago A 34 tokens original MIT

quick-scan

57

omermaksutii/RugProof

Command

Fast pre-commit-grade scan. Only catches Critical and High. Optimized for hooks.

9 1mo ago A 18 tokens original MIT

remediate

58

omermaksutii/RugProof

Command

Generate code patches that fix one or more findings. Outputs as a unified diff and (optionally) applies it.

9 1mo ago A 23 tokens original MIT

replay-incident

59

omermaksutii/RugProof

Command

Replay a historical exploit tx (by tx hash) on a fork. Explains step-by-step what the attacker did.

9 1mo ago A 24 tokens original MIT

report

60

omermaksutii/RugProof

Command

Render the latest audit as a deliverable report in Markdown / HTML / PDF / JSON / PNG.

9 1mo ago A 20 tokens original MIT

rug-check

61

omermaksutii/RugProof

Command

Fast owner-power / rugability scan — score how much unilateral control the deployer holds and return a 0-100 rug-risk verdict.

9 1mo ago A 28 tokens original MIT