Thanh Tran
Community@dajneem23
Any fool can write code that a computer can understand. Good programmers write code that humans can understand.
Agent Skills by Thanh Tran
Showing 17 vetted skills indexed across 1 GitHub repositories.
dajneem23security-threat-model
Generate repository-grounded threat models with trust boundaries, assets, and mitigations.
dajneem23oracle-flashloan-analysis
Analyze smart contracts for oracle manipulation and flash loan vulnerabilities.
dajneem23security-best-practices
Review code for web vulnerabilities and framework-specific security best practices.
dajneem23signature-replay-analysis
Detect and analyze signature replay vulnerabilities in smart contracts.
dajneem23behavioral-state-analysis
Audit smart contracts with Behavioral State Analysis and prioritized findings.
dajneem23Create, modify, and extract text from PDF documents programmatically.
dajneem23playwright
Automate real browser interactions from the terminal using playwright-cli.
dajneem23notion-research-documentation
Search Notion pages and generate structured documents with citations.
dajneem23state-invariant-detection
Detect broken state variable invariants in smart contracts.
dajneem23input-arithmetic-safety
Detect input validation failures and arithmetic vulnerabilities in Solidity smart contracts.
dajneem23semantic-guard-analysis
Detect logic vulnerabilities in smart contracts by analyzing guard-state consistency patterns.
dajneem23proxy-upgrade-safety
Detect vulnerabilities in upgradeable proxy smart contracts across multiple proxy patterns.
dajneem23evm-security
Audit EVM smart contracts in Solidity or Vyper for vulnerabilities.
dajneem23reentrancy-pattern-analysis
Detect reentrancy vulnerability variants in smart contracts via call graphs and CEI compliance.
dajneem23dos-griefing-analysis
Detect Denial of Service and griefing vulnerabilities in smart contracts.
dajneem23external-call-safety
Detect unsafe external contract calls and non-standard token behaviors in smart contracts.
dajneem23security-ownership-map
Analyze git history to map security ownership and compute bus factor.