Search Results for "python-gtksourceview2" - Page 4
Sort By:
Showing 77 open source projects for "python-gtksourceview2"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
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... -
2
llmverify-npm
You need a safety layer between your LLM and your users.
...Local-first verification, safety monitoring, and guardrails for any LLM 100% Local | No Telemetry | Privacy-First | 500 free calls/day Links Product Page: subodhkc.com/products/llmverify npm: npmjs.com/package/llmverify GitHub: github.com/subodhkc/llmverify-npm Python Package (PyPI): github.com/subodhkc/llmverify Author: Subodh KC — AI governance, compliance, and security leader Feature One-liner What it catches Verify output await verify(aiResponse) Hallucinations, harmful content, quality issues Block injections isInputSafe(userMessage) Prompt injection, jailbreaks, malicious input Redact PII redactPII(text) Emails, phones, SSNs, credit cards, API keys Fix broken JSON repairJSON(broken) Missing brackets, trailing commas, unquoted keys Monitor health monitorLLM(client) Latency spikes, token drift, behavioral changes Sentinel tests sentinel.quick(client, model) LLM regressions b
