DSH Plugins技能
skills
anthropics
Public repository for Agent Skills
待结构检查
agent-skills
返回插件市场
DSH Plugins插件
dsh-math-proof
clearnature/dsh-math-proof
dsh-math-proof is a tool for DeepSeek Harness. dsh agda plugin: DeepSeek Harness math proof agent preset —— Agda kernel as sole arbiter, compute then verify, long-horizon proof ledger, retains proof info (object generation method/evidence tier/falsified judgments)
- Stars
- 0
- Forks
- 0
- Issues
- NaNm
- Update
- 3 days
REVIEW SCORECARD
评测成绩单
7.8/10Average
detail.dimSecurity9.0
detail.dimQuality5.4
detail.dimContent7.0
detail.dimDeps7.0
detail.dimMaintenance9.0
✓ 无Risky检出 · 自动化扫描结果仅供参考，非官方背书
PROJECT README项目说明展开Collapse
正在读取 GitHub README...
README 暂时无法读取。
前往仓库PROJECT TOPICS
项目标签
VALIDATION LADDER
验证进度
01市场发现Passed
02归类识别Passed
03结构检查Pending
04实机验证Pending
FAQ
Frequently Asked Questions
What is dsh-math-proof used for?
dsh agda plugin: DeepSeek Harness math proof agent preset —— Agda kernel as sole arbiter, compute then verify, long-horizon proof ledger, retains proof info (object generation method/evidence tier/falsified judgments)
What license does dsh-math-proof use?
dsh-math-proof is distributed under the MIT license.
Is dsh-math-proof compatible with DeepSeek Harness?
dsh-math-proof is listed in the DSH Universe directory as a tool for DeepSeek Harness. This plugin is listed in the DSH Universe directory and covered by its validation pipeline.
CLASSIFICATION EVIDENCE
/10类依据
项目类型插件
功能/10类DSH Plugins
规则置信度Medium
System reads GitHub Topics first, then compares against the in-site category dictionary and word-root rules. Current match:No valid category tags。
DSH Plugins技能
graphify
Graphify-Labs
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.
待结构检查
ai-agentsantigravityastclaude-code
DSH Plugins技能
caveman
JuliusBrussee
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
待结构检查
aianthropiccavemanclaude
DSH Plugins技能
taste-skill
Leonxlnx
Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop
待结构检查
agentaiclaudeclaude-code
DSH Plugins技能
awesome-claude-skills
ComposioHQ
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
待结构检查
agent-skillsai-agentsantigravityautomation
DSH Plugins技能
cherry-studio
CherryHQ
AI productivity studio with smart chat, autonomous agents, and 300+ assistants. Unified access to frontier LLMs
待结构检查
agent-skillsai-agentclaude-codecodex