symbolic-execution-tools
Provides a playbook for solving CTF reversing challenges, recovering keys, and bypassing checks. Covers automated binary analysis using angr, Z3, or Unicorn Engine.
Your agent can do more. Find the skill that makes it happen.
Find your next superpower If you are an agent, refer to our llms.txt for full access.Provides a playbook for solving CTF reversing challenges, recovering keys, and bypassing checks. Covers automated binary analysis using angr, Z3, or Unicorn Engine.
Covers symmetric cipher attacks including CBC padding oracles, ECB cut-and-paste, and bit flipping. Also addresses stream cipher key reuse and meet-in-the-middle attacks.
Performs exact symbolic mathematics with SymPy for algebra, calculus, equation solving, symbolic linear algebra, physics, and lambdify or LaTeX code generation. Use when a task needs symbolic results, explicit assumptions, or exact arithmetic; use NumPy or SciPy for purely numerical workloads.
Add persistent, structured long-term memory to AI agents using Maximem Synap. Use this skill whenever the user is building, debugging, or evaluating an AI agent and mentions any of: "memory", "long-term memory", "persistent memory", "agent memory", "remember across sessions", "context window", "agent forgets", "user preferences", "personalization", "RAG over conversations", "multi-tenant memory", …
Synchronizes the current branch with the latest remote repository changes. Works on both main and feature branches.
Keeps durable repository knowledge current around merge by updating root and nested AGENTS.md files. Reconciles scope from repository evidence and flags stale specifications through targeted edits that preserve curated prose.
Keep gbrain current with this repo's code and refresh agent search guidance in CLAUDE.md. Wraps the gstack-gbrain-sync orchestrator with state (gstack)
Fetch the team's shared skills — reset each disposable team clone to origin/main — and show the outcome per team as a Markdown board from the terum-skills CLI. Use when the user wants the newest catalogue, receipts or roster before listing, searching or installing.
Analyze interview notes, survey responses, and support feedback to extract recurring themes. Rank findings by frequency and impact, then translate insights into roadmap recommendations.
Creates protocol, scripted k6, and browser checks with effective assertions, secrets, deterministic behavior, and reliable locators. Covers local validation, deployment, probe success verification, and rollback for single-iteration synthetic monitoring.
Analyze Sysmon Event ID 1 (Process Creation) logs to identify malicious executions, living-off-the-land binaries (LOLBins), command-line obfuscation, and suspicious parent-child process relationships.
Проектирование распределённых систем — декомпозиция монолита на модули/сервисы (критерии границ), синхронное vs асинхронное взаимодействие (очереди, события), уровни масштабирования 100 → 10k RPS (кэш → реплики → шардинг), отказоустойчивость, наблюдаемость, что рисовать на архитектурной диаграмме. Use при проектировании архитектуры, обсуждении границ сервисов, очередей, масштабирования, отказоусто…
Skills give your agent reusable instructions for a specific job. Pick one, read what it does, and bring it into your workflow.
A name only tells half the story. Search the full description and instructions to find the right fit.
Read the skill, visit its source, and see exactly what you’re adding to your agent.
Copy the install command from a skill page and run it in your project.
npx skillycli add owner/repo --skill name