= Poly-Proof MCP

image:https://img.shields.io/badge/License-PMPL--1.0-blue.svg[License: PMPL-1.0,link="https://github.com/hyperpolymath/palimpsest-license"] :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

[cols="1,3",options="header"] |=== |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 link:.claude/CLAUDE.md[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

• link:ROADMAP.adoc[Roadmap] - Development phases
• link:CONTRIBUTING.md[Contributing] - How to contribute
• link:SECURITY.md[Security] - Vulnerability reporting
• link:LICENSE.txt[License] - MIT OR PMPL-1.0-or-later

== License

Dual-licensed under link:LICENSE.txt[MIT OR PMPL-1.0-or-later].

Maintained by https://github.com/hyperpolymath[hyperpolymath]