Beneficial-AI-Foundation — 2 mods

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 2 mods

FloatSpec AGENTS.md

Instructions file CodexOpenCode

Instructions for Beneficial-AI-Foundation/FloatSpec, a project described as: Formally Verified Float Implementation with lean4.

20 7d ago A 4 tokens copy · 100% Apache-2.0

FloatSpec CLAUDE.md

Beneficial-AI-Foundation/FloatSpec

Instructions file

Instructions for Beneficial-AI-Foundation/FloatSpec, covering floatspec project overview, important: "keep going" context, general programming philosophy, project structure and development commands.

20 7d ago A 7,737 tokens original Apache-2.0