descend
01Kshitijpalsinghtomar/depth-skills
Skill Claude CodeCodex
Verifies whether the problem was correctly identified before solving, auditing pattern matches against first principles.
21 tagged derivation, measured the same way as everything else here.
Browse within: computer-algebra 20formal-verification 20
Kshitijpalsinghtomar/depth-skills
Skill Claude CodeCodex
Verifies whether the problem was correctly identified before solving, auditing pattern matches against first principles.
Skill Claude CodeCodex
Proactively detect and execute code refactoring to maintain DDD architecture and code quality. Triggers: RF, refactor, 重構, 拆分, split, 模組化, modularize, 太長, cleanup.
Skill Claude CodeCodex
A quick mathematics tool for simplifying expressions, solving equations, and performing calculus and other symbolic calculations. The description is in Chinese, but its listed operations include differentiation, integration, limits, series, inequalities, probability, matrices, and unit conversion.
Skill Claude CodeCodex
Generate comprehensive test suites including static analysis, unit tests, integration tests, E2E tests, and coverage reports. Triggers: TG, test, 測試, 寫測試, coverage, 覆蓋率, pytest, unittest, 驗證.