DSH PluginsSkill
skills
anthropics
Public repository for Agent Skills
Structure check pending
agent-skills
Back to Marketplace
DSH PluginsPlugin
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
- 48 days
REVIEW SCORECARD
Review Scorecard
7.5/10Average
License compliance9.0
Engineering quality5.4
Content completeness7.0
Repository scale7.0
Maintenance activity8.0
✓ No risk detected · Automated scan results are for reference only, not an official endorsement
PROJECT READMEREADMEExpandCollapse
Loading GitHub README...
The GitHub README is temporarily unavailable. Please try again later.
Open repositoryPROJECT TOPICS
Project topics
VALIDATION LADDER
Validation progress
01Store discoveryPassed
02ClassificationPassed
03Structure checkPending
04Sandbox validationPending
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
Classification evidence
Project typePlugin
Feature categoryDSH Plugins
Rule confidenceMedium
The system checks GitHub Topics against the site taxonomy and keyword rules. Current matches:No valid category tags。
DSH PluginsSkill
cc-switch
farion1231
A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode,DeepSeek Harness and more. Only official website: ccswitch.io
Structure check pending
ai-toolsclaude-codecodexdeepseek-harness
DSH PluginsSkill
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.
Structure check pending
ai-agentsantigravityastclaude-code
DSH PluginsSkill
caveman
JuliusBrussee
🪨 why use many token when few token do trick — Claude Code skill that cuts 65% of tokens by talking like caveman
Structure check pending
aianthropiccavemanclaude
DSH PluginsSkill
taste-skill
Leonxlnx
Taste-Skill - gives your AI good taste. stops the AI from generating boring, generic slop
Structure check pending
agentaiclaudeclaude-code
DSH PluginsSkill
awesome-claude-skills
ComposioHQ
A curated list of awesome Claude Skills, resources, and tools for customizing Claude AI workflows
Structure check pending
agent-skillsai-agentsantigravityautomation