Results for “symbolic-execution”
2 skills
auto-skiller quick
Executes small ad-hoc tasks with GSD guarantees, spawning planner and executor agents, tracking tasks in .planning/quick/, and updating STATE.md. Supports composable flags for discussion, research, plan-checking, and verification.
1 · bundle
jorcan sympy
Provides comprehensive guidance for symbolic mathematics in Python using SymPy, covering algebra, calculus, equation solving, linear algebra, physics, and code generation.
0 · bundle