Search Results for "assistant"
Sort By:
Showing 11 open source projects for "assistant"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
1
Claude Code Config
My personal Claude Code configuration
Claude Code Config is a highly customizable personal configuration repository for Claude Code, containing tailored rules, hooks, agents, skills, and commands meant to enhance the coding assistant experience. The project centralizes configuration files that instruct Claude Code how to behave in different contexts, automating repetitive tasks and enforcing coding patterns across languages or project types. Its rulesets can apply path-scoped conventions (such as for TypeScript or test files), while hooks trigger scripts on specific events like prompt submission or automated checks. ... -
2
ChatGLM Efficient Tuning
Fine-tuning ChatGLM-6B with PEFT
...The project exposes practical switches for quantization and mixed precision, allowing bigger models to fit into limited VRAM. It includes examples for instruction tuning and dialogue datasets, making it straightforward to stand up a task-specific assistant. Because the code leans on widely used libraries, you can bring your own datasets and monitoring tools with minimal glue. For builders who want results fast, it’s a pragmatic way to specialize ChatGLM while controlling costs and turnaround time. -
3
Leanstral
Open-source code agent designed for Lean 4
Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. ... -
4
Qwen2.5-14B-Instruct
Powerful 14B LLM with strong instruction and long-text handling
...It’s resilient to varied prompt styles and is especially effective for JSON and tabular data generation. The model is instruction-tuned and supports chat templating, making it ideal for chatbot and assistant use cases. -
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
5
Gemopus
Stable fine-tuned Gemma model for structured, clear responses
...It also strengthens technical explanations, balancing rigor with accessibility. While not intended as a production-ready system, it serves as a high-quality local assistant for structured writing, summarization, and coding tasks. Limitations include potential hallucinations in complex domains and weaker performance compared to larger frontier models. -
6
Hermes 4
Hermes 4 FP8: hybrid reasoning Llama-3.1-405B model by Nous Research
...The model is designed for schema adherence, producing valid JSON and repairing malformed outputs, making it highly suitable for tool use and function calling. Hermes 4 is engineered for superior steerability with reduced refusal rates, aligning responses to user values while preserving assistant quality. It achieves state-of-the-art results on RefusalBench, outperforming both closed and open models in balancing helpfulness with adaptability. -
7
Llama-3.2-1B
Llama 3.2–1B: Multilingual, instruction-tuned model for mobile AI
meta-llama/Llama-3.2-1B is a lightweight, instruction-tuned generative language model developed by Meta, optimized for multilingual dialogue, summarization, and retrieval tasks. With 1.23 billion parameters, it offers strong performance in constrained environments like mobile devices, without sacrificing versatility or multilingual support. It is part of the Llama 3.2 family, trained on up to 9 trillion tokens and aligned using supervised fine-tuning, preference optimization, and safety... -
8
Hy3
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token context window, making it suitable for extended formal reasoning and large verification tasks. ... -
9
Leanstral 1.5
Open code agent for Lean 4 proofs and formal software verification
Leanstral 1.5 119B A6B is an open-source code agent model from Mistral AI designed specifically for Lean 4, a proof assistant used to express and verify complex mathematical objects and formal software specifications. Built as part of the Mistral Small 4 family, it combines multimodal capabilities with an efficient Mixture-of-Experts architecture containing 119B total parameters and 6.5B activated per token. The model uses 128 experts with four active for each token and supports a 256K-token context window, making it suitable for extended formal reasoning and large verification tasks. ... -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
10
Ministral 3 8B Instruct 2512
Compact 8B multimodal instruct model optimized for edge deployment
...It combines an 8.4B-parameter language model with a 0.4B vision encoder, enabling both text reasoning and image understanding. This FP8 instruct-fine-tuned variant is optimized for chat, instruction following, and structured outputs, making it ideal for daily assistant tasks and lightweight agentic workflows. Designed for edge deployment, the model can run on a wide range of hardware and fits locally on a single 12GB GPU, with the option for even smaller quantized configurations. Its multilingual support covers dozens of major languages, allowing it to work across diverse global environments and applications. ... -
11
Qwable-v1
Agentic coding model combining Opus reasoning and Fable tools
...The result is a 35B Mixture-of-Experts model with only 3B active parameters that can switch between deep reasoning and agent-style execution depending on the system prompt. In normal conversations, it behaves like a reasoning-focused assistant that generates explicit <think> chains before answering. When configured as an agent, it can emit structured tool-use XML for file editing, shell commands, codebase navigation, and workflow automation. Qwable-v1 is designed specifically for software engineering, code editing, debugging, and autonomous coding workflows.
- Previous
- You're on page 1
- Next