Agent Skills by thonktank
Showing 13 vetted skills indexed across 1 GitHub repositories.
callchain-tool
Analyze Java method callchains with caller/callee context using Joern.
lens-security
Identifies security vulnerabilities and risks in Java codebases using OWASP standards.
planner
Generate M-tier implementation plans and L-tier journal design notes for SaltMarcher projects.
agent-instruction-engineering
Manage markdown and YAML instruction artifacts for agent workflows.
continuous-refactoring
Promote small, localized refactoring actions within the development workflow.
source-references
Enforce citation rules and global evidence mirroring for external and local sources.
code-exploration
Analyze SaltMarcher codebase behavior, workflow routing, and tool usage.
lens-architecture
Review codebase architecture and uncommitted changes for architectural soundness.
verification-runner
Execute final proof commands on SaltMarcher passes and record execution evidence.
repo-tools
Catalog repository management tools with evidence strength for SaltMarcher projects.
project-health
Scan SaltMarcher project for architectural, quality, and governance debt.
lens-code-quality
Automate code review of diffs for correctness and coding conventions.
lens-performance
Review code for performance issues across Android, iOS, Web, and Backend platforms.