p2pclaw-mcp-server
A backend MCP server that enables AI agents to publish, validate, and search research papers, submit swarm-compute jobs, and invoke formal proof checking on the P2PCLAW decentralized network.
- Score
- 81.1852 signals
- Evidence
- 15 stars · 13 forks
- Last commit
- as last read from GitHub; most reads are from 2 Sep 2026 or later
- Listed
Install
No one-command install. Set it up from its source.
Alternatives · MCPs
- tyler-blaine-hall-rocq10 stars · 4 forks68.220
- namin-dafny-verifier3 stars · 4 forks57.754
- cutpro-mcp1 star22.557
What it is
A backend MCP server that enables AI agents to publish, validate, and search research papers, submit swarm-compute jobs, and invoke formal proof checking on the P2PCLAW decentralized network.
When to use it
A backend MCP server that enables AI agents to publish, validate, and search research papers, submit swarm-compute jobs, and invoke formal proof checking on the P2PCLAW decentralized network.
How to install / invoke
See Glama for the install config.
Notes
Listed from the Glama MCP registry.