DSH PluginsSkill
skills
anthropics
Public repository for Agent Skills
Structure check pending
agent-skills
Back to Marketplace
DSH PluginsPlugin
dsh-lean4-prover
robin111828/dsh-lean4-prover
dsh-lean4-prover is a tool for DeepSeek Harness. DSH NEXT skill/plugin: Lean 4 + Mathlib 自动形式化证明（双模型路由 + 并行验证 + 严格验收闸门）
- Stars
- 0
- Forks
- 0
- Issues
- NaNm
- Update
- today
REVIEW SCORECARD
Review Scorecard
7.6/10Average
License compliance9.0
Engineering quality5.4
Content completeness6.0
Repository scale7.0
Maintenance activity9.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-lean4-prover used for?
DSH NEXT skill/plugin: Lean 4 + Mathlib 自动形式化证明（双模型路由 + 并行验证 + 严格验收闸门）
What license does dsh-lean4-prover use?
dsh-lean4-prover is distributed under the MIT license.
Is dsh-lean4-prover compatible with DeepSeek Harness?
dsh-lean4-prover 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