Poly-Proof MCP

:toc: preamble :toclevels: 2 :icons: font :source-highlighter: rouge

MCP Server for Proof Systems

Note	Repository Status: Project specification will be uploaded shortly. This repository is currently scaffolded with RSR (Rhodium Standard Repository) infrastructure but awaits the core project specification and implementation.

Overview

Poly-Proof MCP is planned as a Model Context Protocol (MCP) server. The exact scope and functionality will be defined in the forthcoming project specification.

Current Repository Contents

Category	Status
Infrastructure	Complete - GitHub workflows, CI/CD, forge sync
Governance	Complete - Dual MIT/AGPL license, security policy, contributing guide
Language Policy	Complete - RSR/Hyperpolymath standard (ReScript, Rust, Deno, Gleam)
Source Code	Pending - awaiting specification
Documentation	Pending - awaiting specification

Technology Stack (Planned)

Per the language policy, implementation will use:

• Runtime: Deno

• Primary Language: ReScript (compiling to JS) or Rust

• Configuration: Nickel / Guile Scheme

• Package Management: Guix (primary), Nix (fallback)

Quick Links

• Roadmap - Development phases

• Contributing - How to contribute

• Security - Vulnerability reporting

• License - MIT OR AGPL-3.0-or-later

License

Dual-licensed under MIT OR AGPL-3.0-or-later.

---

Maintained by hyperpolymath