Skip to content
Back to skills

Dashboard Server

ASecurity

Add the current Emeth Discipline project, or open, inspect, or stop the running Emeth Discipline dashboard server.

  • 4 stars
  • 0 votes
  • 0 copies
  • 1 view
  • Added September 12, 2026
businessnode

Security analysis

A100/100

Pro scans all 2 files and shows the line behind each finding

Scanned September 29, 2026

npx -y skills add semisemil/codex-proofline --skill dashboard-server --agent claude-code

Installs into .claude/skills of the current project.

Are you the author of Dashboard Server?

Add the live security badge to your README. It updates with every re-scan.

Security grade badge for Dashboard Server
[![Security: A — Skills Directory](https://www.skillsdirectory.com/api/skills/semisemil-dashboard-server/badge)](https://www.skillsdirectory.com/skills/semisemil-dashboard-server)

More formats (shields.io, HTML) on the badges page. Keep it an A: scan every change in CI with Pro.

Download with Pro
SKILL.md
---
name: dashboard-server
disable-model-invocation: true
description: Add the current Emeth Discipline project, or open, inspect, or stop the running Emeth Discipline dashboard server.
argument-hint: "add | open | status | stop"
---

# Dashboard Server

Accept exactly one action: `add`, `open`, `status`, or `stop`.

Resolve `<plugin-root>` from this SKILL.md; do not substitute a project-local script.

- `add`: Treat the current working directory as the project root. If it contains neither a `.emeth` nor a legacy `.proofline` directory, report that it is not an initialized Emeth Discipline project and stop without creating state. Otherwise run `node <plugin-root>/dashboard/register-project.js register --project-root <absolute-current-working-directory>`; the helper automatically migrates legacy project storage to `.emeth` and initializes dashboard storage as needed. Accept `registered` or `no-op` as complete and report the JSON result. For a registration failure reporting `EPERM` or `EACCES`, follow [sandbox recovery](references/sandbox-setup.md). Do not search parent, child, sibling, or other filesystem paths.
- `open`: Open the verified running server with the current plugin version in `expected_version`. If stopped, report `stopped`; do not start it.
- `status`: Report the verified running URL and identity, or the stopped reason.
- `stop`: Stop only the process whose PID and health `instance_id` match the current server state.

For `open`, `status`, and `stop`, run `node <plugin-root>/dashboard/control.js <action>` and report its JSON result.

Never remove or discover projects. Apart from the automatic legacy storage migration, never create or modify project `.emeth` state. `add` may change the global project registry and the dashboard write-access configuration described in sandbox setup. Only the SessionStart hook may call the internal `start` action.

Files in this skill

  • SKILL.md1.4 KB
  • agents/openai.yaml274 B

Attribution

Is this your skill, or is something wrong with this listing? Request removal or report an issue. Author removals are honored within 72 hours.

Comments

Loading comments…