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.