DSH PluginsSkill
skills
anthropics
Public repository for Agent Skills
Structure check pending
agent-skills
Back to Marketplace
DSH PluginsPlugin
scholia
H2CO3w/scholia
scholia is a tool for DeepSeek Harness. A formal proof is legible to a compiler, not to a mathematician. This DSH plugin renders a Lean 4 / Mathlib theorem as a paper page and reduces its 1,829-module dependency cone to one readable main line. 形式化证明 → 可读论文。
- Stars
- 0
- Forks
- 0
- Issues
- NaNm
- Update
- today
REVIEW SCORECARD
Review Scorecard
7.8/10Average
License compliance9.0
Engineering quality5.4
Content completeness7.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 scholia used for?
A formal proof is legible to a compiler, not to a mathematician. This DSH plugin renders a Lean 4 / Mathlib theorem as a paper page and reduces its 1,829-module dependency cone to one readable main line. 形式化证明 → 可读论文。
What license does scholia use?
scholia is distributed under the MIT license.
Is scholia compatible with DeepSeek Harness?
scholia 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
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
DSH PluginsSkill
cherry-studio
CherryHQ
AI productivity studio with smart chat, autonomous agents, and 300+ assistants. Unified access to frontier LLMs
Structure check pending
agent-skillsai-agentclaude-codecodex