Results for “symbolic-execution”

Provides a sandboxed execution environment for running code snippets, automating tasks, and deploying logic across multiple languages with resource capping and network isolation.

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.

Provides a sandboxed execution environment for running code, scripts, and automated workflows with resource capping and network isolation.

安欣（刑侦剧虚构）认知与表达框架（压缩蒸馏）：理想主义耗损、程序正义执念、白发象征… 触发：狂飙 等。禁止刑侦违法教程；虚构

Use this skill when working with symbolic mathematics in Python. This skill should be used for symbolic computation tasks including solving equations algebraically, performing calculus operations (derivatives, integrals, limits), manipulating algebraic expressions, working with matrices symbolically, physics calculations, number theory problems, geometry computations, and generating executable code from mathematical expressions. Apply this skill when the user needs exact symbolic results rather than numerical approximations, or when working with mathematical formulas that contain variables and parameters.

李达康（廉政虚构）认知与表达框架（压缩蒸馏）：GDP 执念、窗口服务梗、政绩与人情张力 触发：人民的名义 等。虚构

Design a visual protest action that generates media coverage for a cause without requiring budget or platform access.

Symbol (adah-symbol)

Use this skill when working with symbolic mathematics in Python. This skill should be used for symbolic computation tasks including solving equations algebraically, performing calculus operations (derivatives, integrals, limits), manipulating algebraic expressions, working with matrices symbolically, physics calculations, number theory problems, geometry computations, and generating executable code from mathematical expressions. Apply this skill when the user needs exact symbolic results rather than numerical approximations, or when working with mathematical formulas that contain variables and parameters.

Use when symbolic mathematics must cross into NumPy vector evaluation or SciPy numerical algorithms: lambdify contracts, domains, dtypes, parameters, residuals, tolerances, and symbolic-versus-numeric verification. Do not use for work confined entirely to one of those libraries.

Symbolic mathematics in Python with SymPy — solve equations algebraically, perform calculus (derivatives, integrals, limits), manipulate algebraic expressions, work with symbolic matrices, and generate executable code from formulas. Use when exact symbolic results are needed rather than numerical approximations, or for physics, number-theory, and geometry computations involving variables and parameters. Part of the AlterLab Academic Skills suite.

许三多（军旅剧虚构）认知与表达框架（压缩蒸馏）：钝感坚持、不抛弃不放弃、草根成长 触发：士兵突击 等。禁止军事违法教程

Use this skill when working with symbolic mathematics in Python. This skill should be used for symbolic computation tasks including solving equations algebraically, performing calculus operations (derivatives, integrals, limits), manipulating algebraic expressions, working with matrices symbolically, physics calculations, number theory problems, geometry computations, and generating executable code from mathematical expressions. Apply this skill when the user needs exact symbolic results rather than numerical approximations, or when working with mathematical formulas that contain variables and parameters.

Verify tasks marked [X] in tasks.md are implemented, not phantom completions (marked done but backed by missing or dead code).

利威尔（少年漫）认知与表达框架（压缩蒸馏）：兵长洁癖战力、矮个子反差、残酷抉择 触发：进击的巨人 等。虚构；非仇恨教唆

杜甫（古典诗人）认知与表达框架（压缩蒸馏）：沉郁、家国与民生句法、律诗起承转合… 触发：诗史、三吏三别 等。不伪造诗文；哀悼体尊重

SymPy is a Python library for symbolic mathematics that enables exact computation using mathematical symbols rather than numerical approximations.

Provides comprehensive guidance for performing symbolic algebra, calculus, linear algebra, equation solving, physics calculations, and code generation using the SymPy library.

Verify tasks marked [X] in tasks.md are implemented, not phantom completions (marked done but backed by missing or dead code).

沈墨（悬疑剧虚构）认知与表达框架（压缩蒸馏）：创伤反杀叙事、时代灰雾、钢琴意象 触发：漫长的季节 等。虚构；禁止犯罪模仿

熊二（子供向）认知与表达框架（压缩蒸馏）：贪吃憨厚、跟班喜剧、意外破局… 触发：熊出没 等。安全喜剧

Use for writing, reviewing, debugging, testing, or optimizing Python SymPy symbolic mathematics. Trigger on Symbol, assumptions, Expr, Eq, solve/solveset, simplify, factor, expand, calculus, matrices, exact arithmetic, lambdify, code generation, or symbolic-to-numeric conversion. Do not use for NumPy-only arrays, mpmath-only arbitrary-precision numerics, CVXPY optimization models, or parsing untrusted mathematical text.

Multi-phase dialectical stress-test for HIGH-STAKES decisions only (architecture choices, irreversible product calls, strategic bets). Heavy-cost skill — do NOT use for routine questions, brainstorming, or simple tradeoffs. User must explicitly invoke or describe a decision they call "high-stakes", "irreversible", or "needs stress-testing". Triggers: "stress test this decision", "dialectic on", "challenge this thesis", "should I really".

Requer medidas executivas atipicas com base no poder geral de efetivacao (CPC 139 IV — o juiz determina TODAS as medidas indutivas, coercitivas, mandamentais ou sub-rogatorias necessarias para assegurar o cumprimento, inclusive nas acoes de prestacao pecuniaria), sistematizadas pela tutela especifica das obrigacoes de fazer/nao fazer (CPC 536-537), com limites de proporcionalidade, contraditorio, fundamentacao concreta e subsidiariedade (so apos esgotar os meios tipicos). Use quando o operador disser medidas atipicas, art. 139 IV, suspender CNH do devedor, apreender passaporte, medidas coercitivas execucao, devedor contumaz.

崔健（摇滚）认知与表达框架（压缩蒸馏）：地下与现场感、隐喻与直白并置… 触发：一块红布 等。非煽动违法

明楼（谍战虚构）认知与表达框架（压缩蒸馏）：三面间谍、辞令层叠、亲情作人质 触发：伪装者 等。禁止间谍违法教程

御坂美琴（少年漫）认知与表达框架（压缩蒸馏）：炮姐傲娇、正义感、学园都市梗 触发：某科学的超电磁炮 等。虚构

Full-stack task execution pipeline — discovers tools via semantic search, routes to the right agent, then executes via GODMODE. Chains manus-tool-discovery → manus-orchestrator → godmode-system in sequence.

当寻求个人行动或项目在更宏大系统中的意义，或需要将日常工作与长远价值连接时

袁朗（军旅剧虚构）认知与表达框架（压缩蒸馏）：老 A 冷血人设、试探与打磨、精英残酷浪漫 触发：士兵突击 等。虚构

Executes Atomic Red Team tests for MITRE ATT&CK technique validation using the atomic-operator Python framework. Loads test definitions from YAML atomics, runs attack simulations, and validates detection coverage.

杨过（武侠虚构）认知与表达框架（压缩蒸馏）：反叛与痴情、断臂隐喻、师徒伦理张力… 触发：神雕侠侣 等。虚构；非现实伦理操作

Utilize Windows Management Instrumentation (WMI) to execute malicious payloads, establish lateral movement, and execute commands stealthily across an Active Directory environment without dropping binaries to disk or relying on traditional Service Creation (PsExec) mechanics.

Provides comprehensive guidance for symbolic mathematics in Python using SymPy, covering algebra, calculus, equation solving, linear algebra, physics, and code generation.

Use this skill when working with symbolic mathematics in Python. This skill should be used for symbolic computation tasks including solving equations algebraically, performing calculus operations (derivatives, integrals, limits), manipulating algebraic expressions, working with matrices symbolically, physics calculations, number theory problems, geometry computations, and generating executable code from mathematical expressions. Apply this skill when the user needs exact symbolic results rather than numerical approximations, or when working with mathematical formulas that contain variables and parameters.