Kimi K3.1 ProMoonshot AI
|
LeanstralMistral AI
|
|||||
Related Products
|
||||||
About
Kimi K3.1 Pro is a multimodal large language model developed by Moonshot AI for advanced reasoning, software development, 3D modeling, financial analysis, and autonomous AI agent workflows. The model uses a mixture-of-experts architecture with approximately 2.8 trillion total parameters and 104 billion active parameters, supporting a context window of one million tokens. Its coding capabilities include debugging existing applications, generating complete software projects, developing interactive websites, and creating applications with game engines. Kimi K3.1 Pro can analyze images, interpret spatial relationships, generate CAD scripts, and create three-dimensional assets from text descriptions or visual references. Its reasoning and tool-use capabilities support financial modeling, investment research, document analysis, and multistep business workflows. The model is available through Kimi's web and mobile applications, Kimi Work, Kimi Code, and the Kimi API, with a Highspeed variant.
|
About
Leanstral is an open-source code agent developed by Mistral AI specifically designed to work with the Lean 4 proof assistant. The model focuses on generating code while also formally verifying its correctness against strict mathematical or software specifications. Unlike traditional coding assistants, Leanstral integrates directly with formal proof systems to ensure that generated code satisfies defined logical requirements. Its architecture is optimized for proof engineering tasks and operates efficiently with sparse model parameters. Leanstral is released under the Apache 2.0 license, making it freely accessible for developers, researchers, and organizations to use and customize. The model is designed to operate within real-world formal repositories rather than isolated problem environments. By combining code generation with formal verification, Leanstral aims to reduce the need for manual human review in complex software and mathematical development.
|
|||||
Platforms Supported
Windows
Supported
Mac
Supported
Linux
Supported
Cloud
Supported
On-Premises
Supported
iPhone
Not Supported
iPad
Not Supported
Android
Not Supported
Chromebook
Not Supported
|
Platforms Supported
Windows
Supported
Mac
Supported
Linux
Supported
Cloud
Not Supported
On-Premises
Supported
iPhone
Not Supported
iPad
Not Supported
Android
Not Supported
Chromebook
Not Supported
|
|||||
Audience
Software developers, AI engineers, researchers, financial analysts, and teams building applications or agentic workflows with AI models.
|
Audience
AI researchers, software engineers, and developers working with formal verification, proof assistants, and mathematically rigorous software development
|
|||||
Support
Phone Support
Not Supported
24/7 Live Support
Not Supported
Online
Supported
|
Support
Phone Support
Not Supported
24/7 Live Support
Not Supported
Online
Not Supported
|
|||||
API
Offers API
Supported
|
API
Offers API
Not Supported
|
|||||
Screenshots and Videos |
Screenshots and Videos |
|||||
Pricing
$2 per 1M tokens
API usage is pay-as-you-go: $2 per million input tokens and $10 per million output tokens. Cached input is $0.20 per million tokens; cache writes are $2 per million tokens. Kimi Code also provides tier-based membership access, with quotas and context limits depending on the tier.
Free Version
Not Supported
Free Trial
Not Supported
|
Pricing
Free
Open source
Free Version
Supported
Free Trial
Not Supported
|
|||||
Reviews/
|
Reviews/
|
|||||
Pros & Cons from Real UsersPros
Cons
|
||||||
Training
Documentation
Supported
Webinars
Not Supported
Live Online
Not Supported
In Person
Not Supported
|
Training
Documentation
Supported
Webinars
Not Supported
Live Online
Not Supported
In Person
Not Supported
|
|||||
Company InformationMoonshot AI
Founded: 2023
China
www.kimi.ai/
|
Company InformationMistral AI
Founded: 2023
France
mistral.ai
|
|||||
Alternatives |
Alternatives |
|||||
|
|
|
|||||
|
|
|
|||||
|
|
|
|||||
|
|
|
|||||
Categories |
Categories |
|||||
Integrations
APIFree
Supported
C#
Supported
Claude Code
Supported
Cline
Supported
Command Code
Supported
CoreWeave
Supported
Go
Supported
HTML
Supported
Kotlin
Supported
Model Context Protocol (MCP)
Supported
|
Integrations
APIFree
Not Supported
C#
Not Supported
Claude Code
Not Supported
Cline
Not Supported
Command Code
Not Supported
CoreWeave
Not Supported
Go
Not Supported
HTML
Not Supported
Kotlin
Not Supported
Model Context Protocol (MCP)
Not Supported
|
|||||
|
|
|