Pedagrade

Enables deterministic, LLM-free checking of text against a prose editorial standard, returning violations with rule IDs, locations, severity, confidence, and suggested fixes, while also supporting safe fixes and writing measurements.

Checks that every computed number in a Markdown document still matches the formula that produced it, and repairs it under an explicit write gate — so an agent's correct formula can't ship with a wrong total. Exposes every VisiMark command as a tool (check, explain, eval, infer, format), the authoring discipline as resources, and the orderings an agent gets wrong unsupplied as prompts. Read-only by

Converts implementation objectives into explicit acceptance criteria and a traceable evidence matrix with hash-linked ledger, enabling deterministic completion assessment.

Enables AI-assisted learning through structured courses with Socratic guidance, evaluating user answers against rubrics and managing learning progress locally.