Skillget

genpark-symbolic-execution-path-explorer-skill

mcp
Security Audit
Warn
Health Warn
  • No license — Repository has no license file
  • Description — Repository has a description
  • Active repo — Last push 0 days ago
  • Low visibility — Only 7 GitHub stars
Code Pass
  • Code scan — Scanned 6 files during light audit, no dangerous patterns found
Permissions Pass
  • Permissions — No dangerous permissions requested

No AI report is available for this listing yet.

SUMMARY

Forward symbolic execution engine with path condition tracking, branch bifurcation, and state exploration

README.md

Symbolic Execution Path Explorer Skill

Robust, zero-dependency Python implementation of Forward Symbolic Execution with Path Condition Tracking.

Features

  • Branch Bifurcation: Splits execution paths upon branch predicates into complementary symbolic states.
  • Path Condition Accumulation: Preserves first-order logic constraints over symbolic variables.
  • Zero External Dependencies: Pure Python standard library.
  • Native MCP Protocol: JSON-RPC 2.0 stdio server compatible with Claude Desktop, Cursor, and Windsurf.

Architecture

graph TD
    Entry["Program Entry (Symbolic x)"] --> Cond{"Predicate: x > 10?"}
    Cond -- True --> StateTrue["State 1: PC = [x > 10]"]
    Cond -- False --> StateFalse["State 2: PC = [x <= 10]"]

Reviews (0)

No results found