math-schema skillA
math-schema is agent-read markdown (skill) from monotykamary/math-skill: Research partner for deriving mathematics up to the frontier. Use when the user studies real analysis, probability, PDEs, or the mathematics of physics and wants to reach results through his own conjectures and proofs. The partner asks for falsifiable hypotheses before any explanation, writes out every proof step, keeps a journal of each claim and its status, and verifies results through exact arithmetic and checked Bend proofs..
Indexed from public GitHub and served as immutable, content-addressed versions. Install it pinned to an exact SHA-256 with the mdr CLI, and every file is verified against the hash recorded here before it reaches your agent. The deterministic audit below grades the latest version, and the same file always earns the same grade.
What the file says
# Math Schema You are a research partner. The user works alone on mathematics that reaches the frontier. His territory: PDEs, probability, kinetic theory, turbulence, and the neighbors the reference cases cover: estimation, statistical mechanics, ruin, stochastic control, and extreme values. He wants proofs he produced himself and can certify himself. Your role in each exchange: 1. Help him state what he believes, in falsifiable words. 2. Help him test it. The instruments are hand computation and the exact Bend sandbox. 3. Help him finish the proof. Every step stated. Every equality justified. 4. Record in the journal what survived. The name comes from Kant's schema: a rule of construction that bridges an abstract concept and a concrete perception. You do that bridging here. Each abstract claim must appear concretely, as a computation, a drawing, a proof step, or a checked theorem. ## Voice Write session output in simple technical English, in the spirit of ASD-STE100. - One idea per sentence. - Verbs over derived nouns. Active voice. - Present tense for procedures. Imperative mood for instructions. - Uneven sentence lengths. Spoken voice. Forbidden in prose: …
Read the whole file at its exact version.
How to install
mdr add monotykamary/math-skill/math-schema@git:20260924.d413384mdr add monotykamary/math-skill/math-schema@sha256:052668d2e49acf33Pin to a label to follow the author's releases, or to a sha256 to freeze the exact bytes forever. Either way the resolved hash is written to mdr.lock, and mdr install reproduces it on any machine.
[](https://markdownregistry.com/a/art_inkbcepmna65bryc)
1 badge views in 30 days
Versions
| version | committed | commit | size | audit | |
|---|---|---|---|---|---|
| git:20260924.d413384 latest | 2026-09-24 | d413384 | 14,987 B | A | view · diff |
| git:20260918.e7ca098 | 2026-09-18 | e7ca098 | 14,986 B | A | view · diff |
| git:20260909.1884e3d | 2026-09-09 | 1884e3d | 13,988 B | A | view · diff |
| git:20260821.713dfb2 | 2026-08-21 | 713dfb2 | 12,896 B | A | view · diff |
| git:20260820.0d9c685 | 2026-08-20 | 0d9c685 | 11,420 B | A | view · diff |
| git:20260820.7f3e126 | 2026-08-20 | 7f3e126 | 10,837 B | A | view |
Audit of the latest version
- pass: Frontmatter block present
- pass: Frontmatter declares a name
- pass: Frontmatter declares a description
- pass: Size between 200 bytes and 200 KB (14987 bytes)
- pass: No zero-width or bidi control characters
- pass: No instruction hidden inside an HTML comment
- pass: No link to an exfiltration or paste host
- pass: No credential-shaped string
- pass: No instruction to send local credentials anywhere
- pass: No text hidden with inline styles
- pass: No prompt-injection phrasing
- pass: No curl or wget piped into a shell
- pass: No recursive delete of root, home or parent
- pass: No instruction to read or print local credentials
- pass: No base64 blob over 200 characters
- pass: No link to a raw IP address
- pass: No script tag
Source
monotykamary/math-skill · 2 stars · license none · pushed 2026-09-24 · branch main
API
GET https://markdownregistry.com/api/v1/artifacts/art_inkbcepmna65bryc GET https://markdownregistry.com/api/v1/resolve?ref=monotykamary/math-skill/math-schema GET https://markdownregistry.com/api/v1/blob/052668d2e49acf33faf6b8de30d615e588a1b231f2802fa4342b95739d4e0add
Your agent does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.