Skip to content

Agent Plugins Directory

Skills MCP Official Topics ToolsLoginSOON

Files

plugin.json
skills/
- proof-workflow/
  - references/
    - evidence.md
  - SKILL.md

More from hoklims

semctxTrace repository impact, authored intent and fail-closed migration plans, then verify changes with proof-honest verdicts. Local-first and deterministic.

Similar skills

neuruhai/neuruh-public-micro-pluginspublic-safe context pack, cheapest-capable route, and proof card. no private neuruh runtime.
mojealterego/omega-omni-cognitive-engineering-v2High-autonomy engineering OS with OMEGA v20 Reality Filter Kernel: evidence-backed claim states, source-of-truth ranking, prompt-injection isolation, assertiveness/metacognitive/code audits and Thor final release gating.
rcsnyder/open-uefn-kitA small, evidence-first agent kit for building and playtesting UEFN + Verse vertical slices with GitHub Copilot and Unreal MCP.
postbridgeai/postbridgePostal execution layer: quote, send, track, and prove physical letters from any AI agent.
bernaferrari/relay-proofRecord, run, and review app tests through an existing local Relay service.
s3yon/skill-kitSeven skills for the points where agent work reaches a person: quiz, variant-lab, writing-check, deliverable, proof-before-done, push-check and handoff.

H

hoklims/hoklims-proof

v0.1.0

A proportionate Codex proof workflow using independent Semctx and AssertLedger providers.

Overview Skills1 Versions1

Version	Commit	Indexed
0.1.0latest	8586abd67648	2026-10-05

Install

```
copilot plugin install hoklims/hoklims-devkit:plugins/hoklims-proof
```
Also works as /plugin install inside a session. Takes the default branch, not the pinned commit.

Browse

Skills
MCP servers
Official publishers

Explore

Topics
Keywords

More

Validate a spec
Docs for agents
openapi.json
llms.txt
sitemap.xml

About

About
Contact
Privacy Policy

Newsletter

Short and occasional. One click to stop.

Email address

An independent directory for the Agent Plugins open standard.

Skills MCP Official Topics Tools