TScert: A Sound Core for TypeScript(github.com)
16 points by bpierre | 3 comments
GitHub repository for TScert, an independent checker with soundness proved in Lean that accepts TypeScript functions only when accompanied by a proof.
First screen, captured . Open the video.
Full page
Captured . Click for the whole screenshot.
Looks similar
Show HN: Ramasite, a Self-Contained Laravel/Filament/SQLite CMS(github.com)
3 points by DaleFranks | 0 comments
GitHub repository for RamaSite, a self-contained MIT-licensed CMS built with Laravel, Filament and SQLite, largely written with Claude Code.
Show HN: Gauge – Open-Source CLI to recursively improve your docs(github.com)
24 points by 0x63_Problems | 4 comments
GitHub repository for Gauge CLI, an open-source tool that runs coding agents against tasks and iteratively tests doc variants to improve how agents use a product.
Show HN: Stroq – a local audit of what your coding agent did and why(github.com)
82 points by agybay_07 | 29 comments
GitHub repository for Stroq, an open-source tool that finds leaked secrets in AI coding agent sessions and guards future sessions with local hooks tracing risky commands.
MoofTCP – A modern replacement for MacTCP on 68k Macs(github.com)
56 points by marcusbasant | 28 comments
GitHub repository for MoofTCP, an MIT-licensed, memory-lean drop-in replacement for MacTCP on 68000 Macs running System 6, written mostly in C.
Show HN: Log every LLM call with tokens, cost, latency, and time to first token(github.com)
3 points by garritfra | 0 comments
GitHub repository for llmtee, a self-hosted single-binary Go proxy that logs LLM API calls with tokens, cost, latency and time to first token to SQLite or Postgres.
Related stories
Show HN: AgentRun: DSL to turn agents into workflows(github.com)
38 points by miguelrios | 6 comments
GitHub repository for AgentRun, an open-source DSL by Parcha for composing AI agents, tool calls, and code into inspectable workflows.
Show HN: Argus- open source security platform to protect against agentic attacks(github.com)
11 points by thomasunise | 1 comments
GitHub repository for Argus, an open-source agentic security operations platform with an evidence graph, swarm-aware detections, governed AI agents, and an approval-gated action broker.
Show HN: Deslop – Oxlint rules for AI-generated TypeScript(github.com)
15 points by maharshi365 | 4 comments
GitHub repository for deslop, an oxlint plugin with lint rules targeting AI-generated TypeScript issues like unsafe types, duplicate code, and low-value tests.
qm – Multiplayer agent harness for work(github.com)
644 points by tosh | 151 comments
GitHub repository for qm by Y Combinator software, an open-source MIT-licensed multiplayer agent harness for work.
How HN: Go-dev-auth zero-dependency authentication library for Go(github.com)
10 points by BisratMelak | 5 comments
GitHub repository for go-dev-auth, a zero-dependency authentication library for the Go programming language.
![Screenshot of openid.net: Identity Management for Agentic AI [pdf] (2025)](https://hn.urlbox.com/shots/renders/2026/10/1/aaa4f090-32f6-4a2b-91c2-1f8da5a2de04.jpg)
Identity Management for Agentic AI [pdf] (2025)(openid.net)
68 points by cgeier | 23 comments
OpenID Foundation whitepaper PDF on identity management, authentication, and authorization challenges for agentic AI systems, edited by Tobin South.