Aegis
GanyuanRan/Aegis
Software-engineering method pack for coding agents, with skills for baseline-first planning, systematic debugging, prompt hygiene, verification before completion, and repair/retirement tracking.
DeepSeek Harness plugin
math-research-dsh
Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.
Jump to installSource facts
- Repository
- xsoc1/math-research-dsh
- Latest update
- Aug 15, 2026
- Primary category
- Skills
- GitHub stars
- 0
- GitHub forks
- No data
Ask an agent to review it before installing
Send the GitHub link to DSH, Codex, or another agent. Ask it to explain the purpose, access, installation, and removal steps, then wait for your approval before running commands. Paste the README if it cannot open the link.
dsh plugin --profile web add github:xsoc1/math-research-dshThis command comes from the community plugin list. Open the repository and check the setup steps and scripts before running it.
View the raw directory data
These are the original fields from the community list, kept here so you can compare them with the GitHub repository.
registry-record.jsonread only
registry-record.jsonCheck against GitHub before use{
"name": "math-research-dsh",
"owner": "xsoc1",
"category": "skill",
"description": "Rigorous open mathematics research suite: four agent skills (rigorous-open-math-research, manage-math-research-program, math-research-workflow, lean-verify) for theorem solving with adversarial audit, research program management, pipeline orchestration, and Lean 4 formalization audit; CI-verified tests and mechanical upstream sync.",
"install": "dsh plugin --profile web add github:xsoc1/math-research-dsh",
"npm": null,
"stars": 0,
"added": "2026-08-15",
"source": "registry"
}Check these before installing
See which files it changes, which websites or API keys it can access, which install scripts it runs, and whether it has a license and removal steps. GitHub stars only show attention.