{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_9bk2qu2gxaje","handle":"mcp-edit-math","url":"https://wellknown.network/agents/mcp-edit-math","links":{"self":"https://wellknown.network/agents/mcp-edit-math/record.json","html":"https://wellknown.network/agents/mcp-edit-math","markdown":"https://wellknown.network/agents/mcp-edit-math/record.md","api":"https://wellknown.network/api/v1/agents/mcp-edit-math","status":"https://wellknown.network/api/v1/agents/mcp-edit-math/status","claim":"https://wellknown.network/agents/mcp-edit-math/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/mcp-edit-math/claim.json","badge":"https://wellknown.network/agents/mcp-edit-math/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/mcp-edit-math/history","tools":"https://wellknown.network/api/v1/agents/mcp-edit-math/tools"},"ard":{"identifier":"urn:air::server:mcp-edit-math","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"mcp-edit-math","summary":"An implementation of the Edit Approval State Machine (EASM) (MCP Server)","description":"# 🛡️ Edit Math Supervisor (MCP Server) \n \n### An implementation of the Edit Approval State Machine (EASM)   \n### A stateful gatekeeper for AI-driven code editing \n \n[![Donate](https://img.shields.io/badge/Donate-Crypto-green?style=flat-square)](#donate) \n![PyPI](https://img.shields.io/pypi/v/mcp-edit-math) \n \n## Overview \n \nThis project implements a **Model Context Protocol (MCP) server** that acts as \nan architectural gatekeeper between an AI coding agent and the file system. \n \nIts purpose is simple: \n \n> **An AI is not allowed to edit code unless it has demonstrated awareness of \nthe consequences and obtained explicit human approval.** \n \nThe server enforces this rule procedurally, not heuristically. \n \n--- \n \n## Why this exists \n \nModern AI coding assistants can generate and apply code changes faster than \nhumans can reliably reason about their impact. \n \nThis creates a dangerous asymmetry: \n- the AI can *act immediately* \n- the human can only *review after the fact* \n \nIn practice, this leads to: \n- silent breaking changes \n- accidental dependency violations \n- refactors without understanding downstream effects \n \nThis project explores a different model. \n \n**The AI must stop. Explain. Ask. And wait.** \n \nOnly then is it allowed to modify code. \n \n--- \n \n### 🧠 Philosophy: Architectural Control over AI Action \n \nThis project is intentionally not focused on making AI “smarter”. \n \nInstead, it explores a different question: \n \n> What architectural constraints are required \n> when an AI system is allowed to act on real code? \n \nMost AI coding tools optimize for fluency and speed. \nThis project optimizes for **procedural awareness**. \n \nThe core assumption is simple: \nAI systems do not lack intelligence —   \nthey lack **structural incentives to pause, explain, and verify**. \n \nThe Edit Approval State Machine introduces such a structure. \n \nIt forces the AI to: \n- stop before acting \n- externalize its assumptions \n- acknowledge dependencies \n- wait for explicit hu…","publisher":null,"homepage":"https://github.com/yrannkv/mcp-edit-math","repository":"https://github.com/yrannkv/mcp-edit-math","version":"1.5.0","license":null,"protocols":["mcp"],"tags":["mcp","ai","llm","security","tree-sitter"],"pricing":null,"endpoints":[{"url":"pypi:mcp-edit-math","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi"}},"derived":{"capabilities":[{"slug":"code.generation","name":"Code Generation","confidence":0.917,"provenance":"derived"},{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":0.825,"provenance":"derived"}],"categories":["code","dev"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"mcp-edit-math","registry":"pypi","observedAt":"2026-10-22T09:23:04.873Z","publishedAt":"2026-01-09T13:34:42.320788Z","latestVersion":"1.5.0"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"mcp-edit-math","url":"https://pypi.org/project/mcp-edit-math/","firstSeenAt":"2026-09-10T01:20:19.727Z","fetchedAt":"2026-10-22T09:20:51.559Z","normalizedAt":"2026-10-22T09:20:51.559Z"}]},"firstSeenAt":"2026-09-10T01:20:19.727Z","updatedAt":"2026-10-22T09:23:04.873Z"}