genpark-symbolic-execution-path-explorer-skill
Forward symbolic execution engine with path condition tracking, branch bifurcation, and state exploration
Details
- External ID
- 1392558454
- Source
- GITHUB
- Company
- —
- Product
- genpark-symbolic-execution-path-explorer-skill
- Website domain
- github.com
- Launched
- Sept. 28, 2026
- Cohort
- —
- Upvotes
- 7
- Upvotes percentile
- 0.05976172175249808
- Tags
- agent-skills, automated-testing, concolic-testing, formal-methods, mcp, path-conditions, program-analysis, python-standard-library, smt-solver, software-verification, symbolic-execution
- Fetched at
- Sept. 30, 2026, 1:02 a.m.
- Updated at
- Sept. 30, 2026, 1:02 a.m.
Enrichment
- Theme
- low-level systems and developer tools
- Vertical
- Horizontal
- Function
- Dev tools
- Audience
- Developer
- AI stance
- Not AI
- Project type
- Hobby / open-source project
- Normalized one-liner
- forward symbolic execution engine for code analysis
- Manually corrected
- False
Could you build this?
Yes A forward symbolic execution engine on ASTs with path condition tracking can be readily vibe-coded using standard SMT solver bindings like Z3 in Python.
Competitors
Other products that read as similar to this one — 1771 launches clear the similarity bar, closest 8 shown.
Attention rank: #1518 of 1772 (itself plus its competitors, highest first — normalized so YC and Product Hunt are compared fairly).
Launched 332 days after the earliest competitor.
- genpark-vector-clock-causal-order-tracker-skill · github · 2026-09-28 · 7 upvotes · similarity 0.58
- genpark-agent-trajectory-pass-fail-evaluator-skill · github · 2026-09-29 · 7 upvotes · similarity 0.57
- genpark-agent-trajectory-pass-fail-evaluator-skill · github · 2026-09-29 · 7 upvotes · similarity 0.57
- genpark-deadlock-detector-banker-resource-graph-skill · github · 2026-09-28 · 7 upvotes · similarity 0.56
- loom · github · 2026-09-09 · 11 upvotes · similarity 0.54
- Extctl, a super simple systemd-sysext wrapper · hn · 2026-08-18 · 5 upvotes · similarity 0.54
- genpark-concolic-symbolic-execution-branch-inverter-skill · github · 2026-09-09 · 8 upvotes · similarity 0.54
- genpark-instruction-selection-max-munch-skill · github · 2026-09-10 · 7 upvotes · similarity 0.54
Other launches for this product
- No other launches for this product.
Same idea, different domain
Nobody's really built a dev tools tool for Sales yet.