agentmods.dev

chenmingtang830/proofpress

Verified knowledge infrastructure for agent-native research teams.

This repository also configures its own agents. See what proofpress tells them →

Open on GitHub proofpress.dev
13Stars on the repository
3Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

proofpress

01

chenmingtang830/proofpress

Skill Claude CodeCodex

Preserve or inspect decision history for Markdown and static HTML knowledge artifacts with Proofpress. Use when creating or accepting a meaningful revision to an ADR, design doc, PRD, README, strategy note, portable .md artifact, or static .html/.htm artifact in a configured repository, or when receiving a file…

not rated 13 changed 1mo ago A SkillSpector: warn 82 tokens original Apache-2.0