Type
All Tool 34 498 Model 30 594 MCP server 14 032 Agent 3 933 Repository 3 881 Skill 3 028 Prompt 2 806 Extension 671 Channel 628 Course 296 Platform 278 Directory 208 API 156 Other 61 Plugin 44 Framework 39 Marketplace 36 Template 35 Agency 3

Tag “lean4” — 3

lean4

ByteDance-Seed/BFS-Prover-V2-7B

huggingface.co

Модель text-generation · лицензия apache-2.0

Model Models & platforms Self-hosted

Submit a site to the catalog

Just send the link — we will work out the rest.

We will review what you send and add it to the catalog if it fits.

Not sure how to implement it? We can help

Tell us about your task — we will pick the tools and suggest where to start.

0 / 5000
Verification code

Fields marked with an asterisk are required. Your data is used only to reply.