13 projects
vcr-core
The shared spine for the Verified-Check Record (VCR v0.1) program: schema, verdict vocabulary, record builder, and the EES metric. Imported by The Enforcement Gap (N2) and HarnessBench.
checkseal
Emit and verify check-receipts for AI artifacts: which checks passed, and how strongly each binds.
verification-ledger
A governed coordination ledger for local multi-agent fleets: provenance typing, a promotion gate, an instruction-boundary envelope, and a retention invariant — with an executable conformance suite that proves them.
mcp-audits
MCP Permission Auditor — scan, enumerate, and risk-score all locally configured MCP servers
harness-scorecard
A read-only linter and A-F maturity grader for coding-agent harnesses (Claude Code, Codex).
mcp-trust
A neutral public trust registry for MCP servers — check before you connect.
shadow-mcp
Discover and risk-grade the MCP servers actually present on this machine. Local-first shadow-MCP inventory.
fastmcp-builder
Generate complete, runnable FastMCP 3.x MCP servers from plain-English descriptions
ccq
Query your own Claude Code agent history with DuckDB, read-only, straight over the JSONL transcripts.
mcp-permission-audit
DEPRECATED — renamed to 'mcp-audits'. Installs mcp-audits automatically; use the 'mcp-audit' command from there.
jsm-ticket-analytics-export
Export Jira Service Management tickets past the native 1,000-row cap, to CSV + JSON.
AgenticBridge
A SQLite-backed MCP server that gives your AI coding agents a shared memory bus.
github-repo-auditor
Automated GitHub portfolio auditor with 12 analysis dimensions
