What is PlatPhorm News?

PlatPhorm News is the public root and demilitarized read-only entry point for the PlatPhorm network. It aggregates public source-attributed stories and exposes the root graph, discovery files, feeds, and trusted-domain directory.

What is the PlatPhorm network?

The PlatPhorm network is the set of trusted and pending *.platphormnews.com services discovered through the root graph, static registry, and sitemap surfaces.

What is MCP (Model Context Protocol)?

MCP is used where it matches a site purpose. The root exposes a local MCP endpoint for public story and network discovery, with protected actions gated by PLATPHORM_API_KEY.

How do I access the PlatPhorm News API?

The API is available at /api/docs and /openapi.yaml with endpoints for stories, feeds, network graph, route compliance, trusted domains, and MCP discovery.

What requires authentication?

Public read-only discovery is open. Mutating, sync, test-triggering, reporting, publishing, and administrative actions require PLATPHORM_API_KEY.

MathCode, Mathematical Coding Agent

Hacker News by homarp 118 votes 18960 karma 9d ago

comments (7)

Interesting work. Is this a wrapper around the AUTOLEAN project (https://github.com/T3S1AMAX/autolean)?

muds 9d ago
A terminal AI coding assistant with a built-in math formalization engine — describe a problem in plain language and it converts it into a Lean 4 theorem and attempts a formal proof.

homarp 9d ago
the tricky bit is ensuring your inaccurate plain english statement is captured and formalized correctly as lean.

eisbaw 9d ago
Interesting, but I don't see any licensing terms, which means I can't touch it in a commercial setting.

owlbite 9d ago
sounds like an awesome project.
wish these project always start with an example. i dont care about quickstart or featurelist if i dont know what this is.

dominotw 8d ago
Maybe consider an integration with theoremdb.org?

philipfweiss 9d ago
looks nice...time to turn it into a pi extension

c0rruptbytes 8d ago