MCP Servers

模型上下文协议服务器、框架、SDK 和模板的综合目录。

Poly-proof and multi-solver MCP for use as part of the "poly-mcp" project

创建于 12/23/2025
更新于 1 day ago
Repository documentation and setup instructions

= RSR Template Repository :toc: :sectnums:

// Badges image:https://img.shields.io/badge/RSR-Infrastructure-cd7f32[RSR Infrastructure] image:https://img.shields.io/badge/Phase-Maintenance-brightgreen[Phase] image:https://img.shields.io/badge/License-AGPL%20OR%20Palimpsest-blue[License] image:https://img.shields.io/badge/Guix-Primary-purple?logo=gnu[Guix]

== Overview

The canonical template for RSR (Rhodium Standard Repository) projects.

This repository provides the standardized structure, configuration, and tooling for all 139 repos in the hyperpolymath ecosystem. Use it to:

  • Bootstrap new projects with RSR compliance
  • Reference the standard directory structure
  • Copy configuration templates (justfile, STATE.scm, etc.)

== Quick Start

[source,bash]

Clone the template

git clone https://github.com/hyperpolymath/RSR-template-repo my-project cd my-project

Remove template git history

rm -rf .git git init

Customize

sed -i 's/RSR-template-repo/my-project/g' justfile guix.scm README.adoc

Enter development environment

guix shell -D -f guix.scm

Validate compliance

just validate-rsr

== What's Included

[cols="1,3"] |=== |File/Directory |Purpose

|.editorconfig |Editor configuration (indent, charset)

|.gitignore |Standard ignore patterns

|.guix-channel |Guix channel definition

|.well-known/ |RFC-compliant metadata (security.txt, ai.txt, humans.txt)

|docs/ |Documentation directory

|guix.scm |Guix package definition

|justfile |Task runner with 50+ recipes

|LICENSE.txt |AGPL + Palimpsest dual license

|README.adoc |This file

|RSR_COMPLIANCE.adoc |Compliance tracking

|STATE.scm |Project state checkpoint |===

== Justfile Features

The template justfile provides:

  • ~10 billion recipe combinations via matrix recipes
  • Cookbook generation: just cookbookdocs/just-cookbook.adoc
  • Man page generation: just mandocs/man/project.1
  • RSR validation: just validate-rsr
  • STATE.scm management: just state-touch, just state-phase
  • Container support: just container-build, just container-push
  • CI matrix: just ci-matrix [stage] [depth]

=== Key Recipes

[source,bash]

just # Show all recipes just help # Detailed help just info # Project info just combinations # Show matrix options

just build # Build (debug) just test # Run tests just quality # Format + lint + test just ci # Full CI pipeline

just validate # RSR + STATE validation just docs # Generate all docs just cookbook # Generate justfile docs

just guix-shell # Guix dev environment just container-build # Build container

== Directory Structure

[source]

project/ ├── .editorconfig # Editor settings ├── .gitignore # Git ignore ├── .guix-channel # Guix channel ├── .well-known/ # RFC metadata │ ├── ai.txt │ ├── humans.txt │ └── security.txt ├── config/ # Nickel configs (optional) ├── docs/ # Documentation │ ├── generated/ │ ├── man/ │ └── just-cookbook.adoc ├── guix.scm # Guix package ├── justfile # Task runner ├── LICENSE.txt # Dual license ├── README.adoc # Overview ├── RSR_COMPLIANCE.adoc # Compliance ├── src/ # Source code ├── STATE.scm # State checkpoint └── tests/ # Tests

== RSR Compliance

=== Language Tiers

  • Tier 1 (Gold): Rust, Elixir, Zig, Ada, Haskell, ReScript
  • Tier 2 (Silver): Nickel, Racket, Guile Scheme, Nix
  • Infrastructure: Guix channels, derivations

=== Required Files

  • .editorconfig
  • .gitignore
  • justfile
  • README.adoc
  • RSR_COMPLIANCE.adoc
  • LICENSE.txt (AGPL + Palimpsest)
  • .well-known/security.txt
  • .well-known/ai.txt
  • .well-known/humans.txt
  • guix.scm OR flake.nix

=== Prohibited

  • Python outside salt/ directory
  • TypeScript/JavaScript (use ReScript)
  • CUE (use Guile/Nickel)
  • Dockerfile (use Containerfile)

== STATE.scm

The STATE.scm file tracks project state:

[source,scheme]

(define state `((metadata (project . "my-project") (updated . "2025-12-10")) (position (phase . implementation) ; design|implementation|testing|maintenance|archived (maturity . beta)) ; experimental|alpha|beta|production|lts (ecosystem (part-of . ("RSR Framework")) (depends-on . ()))))

== Badge Schema

Generate badges from STATE.scm:

[source,bash]

just badges standard

See docs/BADGE_SCHEMA.adoc for the full badge taxonomy.

== Ecosystem Integration

This template is part of:

  • STATE.scm Ecosystem: Conversation checkpoints
  • RSR Framework: Repository standards
  • Consent-Aware-HTTP: .well-known compliance

== License

SPDX-License-Identifier: AGPL-3.0-or-later OR LicenseRef-Palimpsest-0.5

== Links

  • https://github.com/hyperpolymath/elegant-STATE[elegant-STATE] - STATE.scm tooling
  • https://github.com/hyperpolymath/conative-gating[conative-gating] - Policy enforcement
  • https://rhodium.sh[Rhodium Standard] - RSR documentation
快速设置
此服务器的安装指南

安装命令 (包未发布)

git clone https://github.com/hyperpolymath/poly-proof-mcp
手动安装: 请查看 README 获取详细的设置说明和所需的其他依赖项。

Cursor 配置 (mcp.json)

{ "mcpServers": { "hyperpolymath-poly-proof-mcp": { "command": "git", "args": [ "clone", "https://github.com/hyperpolymath/poly-proof-mcp" ] } } }