proof-engine-marketplace
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
AI agent skill that creates formal, verifiable proofs of claims — every fact computed or cited, never asserted
Contains
1 plugin.
Install
/plugin marketplace add yaniv-golan/proof-engine
Then browse and install with /plugin install.
Source
Repository: https://github.com/yaniv-golan/proof-engine
Maintain proof-engine-marketplace?
Let people know it's listed here — add the badge (live metrics, light/dark aware) or a plain link to your README or docs.
[proof-engine-marketplace on getagentictools](https://getagentictools.com/plugins/yaniv-golan-proof-engine-marketplace?ref=badge) Related plugins
rapido Claude Code plugin marketplace by PrendsTaPart.
sbp-skills Schuberg Philis collections of agents.md for guiding coding agents
seedance-prompts Seedance 2.0 提示词与分镜生成 Claude Skill 市场。
Skills Repository to store Agent Skills
ntucool NTU COOL (cool.ntu.edu.tw) — CLI + MCP server bundle with usage guidance for AI agents. NTU-only (ADFS SAML auth).
open-kioku-marketplace Local-first code intelligence MCP for AI coding agents.