Hindley-Milner Type Inference Skill

High-efficiency, zero-dependency Python implementation of Hindley-Milner Type Inference (Algorithm W) and Robinson syntactic unification.

• Syntactic Unification: Recursively resolves structural type equivalence and substitution constraints.
• Principal Type Guarantees: Infers the most general polymorphic type without requiring explicit annotations.
• Zero External Dependencies: Pure Python standard library.
• Native MCP Protocol: JSON-RPC 2.0 stdio server compatible with Claude Desktop, Cursor, and Windsurf.

graph TD
    Expr["Typed AST Expression"] --> W["Algorithm W"]
    W --> Unify["First-Order Unification Solver"]
    Unify --> Subst["Most General Unifier Substitution (MGU)"]
    Subst --> PrincipalType["Principal Type Output (e.g., a -> b -> a)"]