Skip to main content
ai-agentsVerified

symbolic-execution-tools

by @yaklanghack-skills
Global354.0k
GotBurnout Community0

Description

Official symbolic execution tools capability by @yaklang. Streamlines autonomous ai-agents tasks and workflows.
Quick Agent Installation
Select environment:
$npx skills add https://github.com/yaklang/hack-skills --skill symbolic-execution-tools

Run this command in your terminal or agent shell

Tags & Topics

#ai-agents#workflow
README badge
GotBurnout installs badge
[![GotBurnout](https://gotburnout.io/api/badge/skill/yaklang-hack-skills-symbolic-execution-tools)](https://gotburnout.io/en/skills/yaklang-hack-skills-symbolic-execution-tools)

Skill Documentation (SKILL.md)

View on GitHub

Related AI Agent Skills

hack367.5k ⬇

Official hack capability by @yaklang. Streamlines autonomous ai-agents tasks and workflows.

@yaklangLearn more →
code-obfuscation-deobfuscation362.3k ⬇

Official code obfuscation deobfuscation capability by @yaklang. Streamlines autonomous ai-agents tasks and workflows.

@yaklangLearn more →
api-sec361.1k ⬇

Official api sec capability by @yaklang. Streamlines autonomous backend tasks and workflows.

@yaklangLearn more →
ssrf-server-side-request-forgery359.4k ⬇

Official ssrf server side request forgery capability by @yaklang. Streamlines autonomous backend tasks and workflows.

@yaklangLearn more →

Related Ecosystem Resources

Explore practical workflows, core terminology, and engineering tools

AI Skill

find-skills

Discover and install skills dynamically for AI coding agents during active development sessions.

AI Skill

remotion-render

Official remotion render capability by @inference-sh. Streamlines autonomous ai-agents tasks and workflows.

Practical Guide

Claude Code /goal: Autonomous Agent Execution Without Human Intervention

Claude Code is a tool for working with code directly from the terminal. By default, it works in step-by-step mode: you write a request, get an answer, write again. The /goal command fundamentally changes this logic.

Practical Guide

Jev and System One AI: A Complete Practical Guide to the Decision Model from TypeSafe

A deep engineering breakdown of the flagship Jev model: System One architecture versus LLMs, Choice/Score/Noul primitives, request parallelism, confidence mathematics, video use cases, code, and an overview of local open-weight alternatives (Laya, GLiNER2.5, CLM-8B).

Glossary Concept

AI Agents (Autonomous Agents)

Software systems based on LLMs that can autonomously perceive the state of the environment, decompose complex goals, invoke external tools, and iteratively correct their own mistakes.

Glossary Concept

Dual-Track Human-AI Development

An organizational and engineering model for labor distribution where humans focus on problem exploration, architecture, and UX, while a parallel fleet of AI agents implements technical modules, tests, and migrations.

Slug: yaklang-hack-skills-symbolic-execution-tools
GitHub