symcli-skill

# SymCLI Skill SymCLI is a pure C# symbolic computation framework designed to act as an exact mathematical engine and code analyzer. When given a mathematical task, equation to solve, tensor optimization problem, or C# code to analyze, you MUST use the SymCLI wrappers to execute the work rather than relying solely on your internal LLM reasoning. SymCLI prevents hallucinations and provides provably correct results. ## Primary Workflows 1. **Solving ProblemScript (`.ps`):** Create a `.ps` file with equations/rules and use SymCLI to compute the exact answer. 2. **Analyzing C# Code:** Scan C# files for mathematical correctness hazards (`CSMATH...`) and security-oriented patterns (`CSSEC...`). ## Usage Guidelines - **OS Compatibility:** Use `symcli.bat` on Windows or `symcli.sh` on Unix-like systems. - **ProblemScript:** Wrap configuration in `<Options>...</Options>`. Include constraints like `x^2 + 2*x + 1 = 0` or rules like `Rule(a + a, 2 * a)`. - **C# Analysis:** Provide a specific `.cs` file or a directory to analyze. ### Agent Workflow 1. Interpret the user's mathematical/coding task. 2. Formulate the required input (e.g., write a `.ps` file). 3. Execute the appropriate `symcli` wrapper. 4. Read the output file and interpret the exact symbolic results back to the user. ## Exit Codes - `0`: Success - `1`: Configuration/Argument Error - `2`: Solving failed (diagnostics written) - `3`: Unexpected runtime exception - `4`: Findings present (if `--fail-on-findings` used) ...