30 tagged computer algebra, measured the same way as everything else here.
Browse within: derivation 20formal-verification 20formal-methods 10theorem-proving 10
Skill Claude CodeCodex
Audit new or existing Jacobian mathematical operations for public-domain mismatches, hidden work expansion, evidence-backed scale or backend improvements, lossy exact results, source-unbound conclusions, and producer-consumer incompatibility. Use for operation-contract reviews, mathematical performance investigations…
Skill Claude CodeCodex
Decompose a bounded corpus of mathematical proofs, formalizations, scripts, and certificates into recurring solution techniques and the smallest reusable Jacobian postconditions. Use for repository- or corpus-level “what can Jacobian learn?” audits; do not use for one operation contract or one agent trajectory.
Skill Claude CodeCodex
Review completed or paused mathematical agent transcripts, visible reasoning, code, searches, tool calls, corrections, and final claims to extract evidence-backed lessons for Jacobian operations, discovery, contracts, skills, evaluations, and documentation. Use for mathematical workflow retrospectives and "what should…
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, 驗證.