MCP servers and skills: search, filter by where they run, and compare.
1–24 of 54 tools for “proof-assistant”
Clear allPremium agentic endpoint for coq-proof-assistant-mcp.
Hosted by authorNo licenseFew starsNo key
A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups.
MCPLink only★ 2.8k
Autonomous GitHub Project build → QA → review loop for Claude Code. One-line install.
SkillMIT★ 341No key
A Pokémon-style adventure built with Codex, featuring AI-generated maps, NPCs, branching saves, and multiplayer. The adventure never ends.
in the skill textReports never block gameplay and the community leaderboard is not a cheat-proof competition. **English** | 简体中文 · Website & browser demo · Discord · GitHub repository · Technical report v0.4 (PDF
SkillMIT★ 184No key
Rules and checks that make Claude Code look around a change, not just at the lines it writes: ten questions before code, a reviewer that didn't write it, proof before done, bugs fixed as a class.
SkillMIT★ 94No key
Temporal memory system for AI assistants with human-like forgetting curves. All data stored locally in human-readable formats: JSONL for short-term memory, Markdown (Obsidian-compatible) for long-term
in the readmeModel Context Protocol (MCP) server providing **human-like memory dynamics** for AI assistants. Memories naturally fade over time unless reinforced through use, mimicking the Ebbinghaus forgetting
PythonAGPL-3.0★ 36No key
Organize and track job applications and tailor LaTeX resumes from the CLI or an MCP client.
in the readmeErga is a local-first recruiting assistant. It keeps job applications, approved career evidence, research, and reviewable résumé packages on the user's machine. The CLI
PythonMIT★ 14No key
Reboot-proof terminal multiplexer for AI-native devs — a tmux alternative that persists your whole workspace across reboots and auto-resumes Claude Code & OpenCode sessions. Ships an MCP server so AI
GoApache-2.0★ 24No key
Infers architecture rules from your TypeScript repo's real import graph, gates each on statistical evidence, and emits them into the tools you already use (ESLint, dependency-cruiser, ts-arch). Turns
in the readmeassistant) breaks one without noticing. Archprint reads a TypeScript project, finds the rules its code already follows, and shows you the proof for each one: how
Node.jsMIT★ 7No key
SAGE — Save AI coding tokens by compressing terminal output, keeping raw logs local, and tracking real savings. 🧠S.A.G.E - Smart Agent Guidance Engine for AI coding assistants. by⚡ PsYc+GoD AI&ML 🤖
PythonMIT★ 11No key
A memory for your AI coding assistant. It keeps what you tell it and hands the right note back at the moment it matters. Runs entirely on your own machine.
in the readmemay warn, and only warn. It can inform your assistant; it can never forbid. - If the proof **cannot run** - the file moved, the path is gone
DockerGPL-3.0★ 5No key
MCP server providing OpenStreetMap tagging schema tools for AI assistants - validate tags, query values, search presets, and suggest improvements
Node.jsGPL-3.0★ 8No key
The verifiable AI coding agent : provider-agnostic, MCP-native, tamper-evident ledger
in the readmeproof record you can check later. If anyone alters that record — even by a single character — korgex can prove it. It's a coding assistant you
PythonMIT★ 5No key
An MCP agent that funds verified ecological regeneration from AI compute usage via Regen Network
in the readmeMCP server lets your AI assistant estimate that footprint and retire verified ecocredits on Regen Network — with immutable on-chain proof. This is **regenerative contribution**, not
Node.jsApache-2.0★ 4Few starsNo key
Desktop markdown editor with executable HTTP and database blocks — a git-native, local-first Postman alternative
in the readmeeditor with a runtime inside. Write the doc, hit run, ship the proof. Website · Releases · Contributing · Security ## What is httui? httui collapses four tools into one
SkillMIT★ 17No key
Open-source Solana vanity address generator: WebAssembly Ed25519 grinding in the browser, an exact Base58 difficulty model, signed proof-of-grind certificates and trustless split-key delegation.
in the readmethe site, the HTTP API, a CLI, an MCP server for AI assistants, signed provenance certificates, and a delegation protocol that lets somebody else do the
Node.jsApache-2.0★ 4Few starsNo key
in the readmeand real-time buying signals from Lusha — straight from inside your AI assistant. Supports **Codex** (plugins), **Claude Code** (Claude Code CLI / Cowork), **Cursor** (plugins), **VS Code
Hosted by authorMIT★ 4Few starsNo key
MCP server for searching an OpenArchiver email archive (search, read emails, fetch attachments).
in the readmenpm version ](  search and read your OpenArchiver email archive. > ⚠️ **Unofficial.** Independent
Node.jsMIT★ 3Few starsNo key
The official Model Context Protocol (MCP) server for BackPow - The Proof of Work Oracle
in the readmeThe Proof of Work Oracle**. It gives an AI assistant live mining data for 126+ Proof of Work networks and 770+ hardware models: network difficulty and
Node.jsMIT★ 1Few starsNo key
Public Apify Task configurations and workflow templates for Bluesky, RSS, and TED monitoring.
in the readmeTelemark Digital**. ## Start here - AI-agent index gives crawlers and coding assistants the product map, Apify links, plugin paths, and workflow boundaries. - Phase 1 visibility checkpoint
Hosted by authorMIT★ 2Few starsNo key
Auto-Apply That Ends on an Interview. Applies on the employer's own hiring system across 34 hiring systems (Workday, Greenhouse, Lever, Ashby, iCIMS, Workable and more) and keeps the confirmation they
in the readmethe employer's own hiring system. All from inside the assistant you already work in. **And it keeps the employer's own confirmation.** Most tools count
Node.jsMIT★ 2Few starsNo key
The hosted SHIP MCP server. SHIP is your autonomous software team. Assign a Linear, Jira or GitHub issue to an AI coding agent team that plans, builds, reviews and tests pull requests. It is a headles
in the readmeGitHub repository. With this MCP server, your assistant can file missions, follow them, send instructions and read the proof of each run. SHIP runs an agentic
Hosted by authorMIT★ 1Few starsNo key
Licensed, rights-cleared content for AI agents — verifiable license keys, on-chain proof, EU AI Act attestation. The MCP alternative to unlicensed scraping for RAG.
in the readmeunlicensed scraping for RAG, AI search, and LLM grounding. Lets AI assistants (Claude Desktop, Cursor, Windsurf, or any MCP-compatible host) discover, purchase, and verify content
Node.jsMIT★ 1Few starsNo key
Trust & risk verdicts for AI trading agents on Solana — MCP server + x402 API. Proof of real PnL, not peak scores.
in the readmeMeasured examples: docs/VERDICTS.md **Trust & risk verdicts for AI trading agents on Solana.** Proof of *real* PnL, not peak scores. Pay-per-call via x402 (USDC
Hosted by authorMIT★ 1Few starsNo key
Who stands behind it
