Open source alternatives to ce-proof
24 open source AI Skills apps to use instead, best rated first.
Top picks
- G

github-ops
Getgithub-ops is an agent skill from the ECC collection by affaan-m, listed on skills.sh. It manages a GitHub repository with a focus on community health, CI reliability and the experience of contributors. It covers triaging issues by classify
Open source
- O

opensource-pipeline
Getopensource-pipeline is an agent skill from the ECC collection by affaan-m, listed on skills.sh. It prepares a private project for safe public release through a three-stage pipeline. The fork stage strips secrets from a copy. The sanitise st
Open source
- A

andrej-karpathy-skills
Getandrej-karpathy-skills is a single CLAUDE.md file from the multica-ai project that is meant to improve how Claude Code behaves on coding tasks. It is derived from Andrej Karpathy's public observations about LLM coding pitfalls. The file dis
Open source
- M

microsoft/markitdown
Getmarkitdown-mcp is the MCP server package for MarkItDown, Microsoft's tool for converting many file formats to Markdown for language models. It is a lightweight server that runs over stdio, Streamable HTTP or SSE, and exposes one tool, conve
Open source
- O

od-contribute
Getod-contribute is an agent skill in the OpenDesign project that provides a guided, one-click contribution flow to the OpenDesign repository, written so that people without a coding background can send a real pull request. It is locked to the
Open source
- G

github-deep-research
Getgithub-deep-research is an agent skill from the DeerFlow project that researches a single GitHub repository in several rounds and writes a report in Markdown. It is for requests that need more than a README summary, such as a comprehensive
Open source
More AI Skills apps

modelcontextprotocol/server-memory
Knowledge graph-based persistent memory for maintaining context

netdata/netdata#Netdata
Discovery, exploration, reporting and root cause analysis over Netdata metrics

Learn Claude Code
by shareAI-lab - A really interesting analysis of how coding agents like Claude

MCP Toolbox for Databases
MCP Toolbox for Databases enables your agent to connect to your database
About ce-proof

ce-proof
Publish, read, comment on, or edit markdown in Proof
ce-proof publishes, reads, comments on and edits Markdown documents in Proof, a collaborative document editor for people and agents. It is reached through Proof's hosted web API over HTTP from the command line. The skill is used for sharing specifications, plans and drafts as Proof links, for publishing a handoff from a planning workflow, and for reading or commenting on a document someone else shared. Its outcome is a working, tokenized Proof link, or a document that carries the read, comment, suggestion or edit that was asked for. The skill confirms each operation at its own level before reporting it done. It is useful when a team wants a shared, reviewable copy of a document that people can comment on without a repository. The skill is part of the compound-engineering plugin by Every and is listed on skills.sh as free.
- Price
- Free
- Made by
- everyinc
- Category
- AI Skills
- Website
- github.com/everyinc/compound-engineering-plugin/ce-proof










