Bsl Lang
B 82 completed
Library
cli / python · small
120
Files
18,992
LOC
1
Frameworks
5
Languages
Pipeline State
completedRun ID
#304066Phase
doneProgress
1%Started
Finished
2026-04-13 01:31:02LLM tokens
0Pipeline Metadata
Stage
SkippedDecision
skip_scaffold_dupNovelty
48.67Framework unique
—Isolation
—Last stage change
2026-04-16 18:15:42Deduplication group #47941
Member of a group with 1 similar repo(s) — canonical #9446 view group →
Top concepts (9)
Project DescriptionpresentationtestingTestingAuthenticationTestingDatabaseFile ManagementSearch
Repobility analyzer · published findings · https://repobility.com
🧪 Code Distillation
Browse all specs →Sample distilled functions (click for full spec)
validateValidates an AgentSpec object against a set of predefined rules. It accepts the specification to be checked and an optional boolean flag to determine if warnings should be treated as errors. The function returns a sorted list containing all diagnostic findings encountered during the validation proce
Validator.add_ruleAppends a new validation rule to the validator's internal collection. It accepts a single argument, which must be a callable function that takes an AgentSpec and returns a list of Diagnostic objects. The function returns nothing and modifies the internal state of the validator instance by adding the
Validator.validateValidates an agent specification by executing a set of internal rules against the provided specification object. It accepts one argument, an AgentSpec node, and returns a list of Diagnostic objects detailing any found issues. If any rule execution fails, it records an internal error diagnostic inste
AI Prompt
Build me a command-line toolkit in Python for working with Behavioral Specification Languages (BSL). I need it to include functionality for parsing, validating, formatting, and linting BSL files. Specifically, the CLI should have subcommands for `validate`, `fmt`, `lint`, and `diff`. The parser should handle EBNF grammar for blocks like `behavior`, `invariant`, and `composition`, and the validator should support configurable rule sets. It should also output a JSON Schema representation of the AST.
python cli parser validator linter bsl command-line json ebnf
Generated by gemma4:latest
Catalog Information
The BSL-Lang project is a toolkit for working with Behavioral Specification Languages, providing tools for parsing, validating, formatting, and linting.
Description
BSL-Lang is a collection of tools for working with Behavioral Specification Languages. It includes a parser to analyze and understand the language's syntax, a validator to ensure that specifications conform to the language's rules, a formatter to make specifications more readable, and a linter to catch errors in the specification.
الوصف
هذا المجموعة من الأدوات هي لتعامل مع اللغات الوصفية السلوكية. تشمل أداة التحليل للفهم من بناء الجملة، وأداة التحقق للتأكد من أن التوصيفات تناسب القواعد، وأداة التنسيق لتسهيل القراءة، وأداة التحذير لاكتشاف الأخطاء في التوصيف.
Novelty
5/10Tags
behavioral-specification-language parser validator formatter linter
Technologies
click pydantic rich
Claude Models
claude-opus-4.6 claude-sonnet-4.6
Quality Score
B
82.0/100
Structure
95
Code Quality
65
Documentation
90
Testing
85
Practices
70
Security
100
Dependencies
80
Strengths
- CI/CD pipeline configured (github_actions)
- Good test coverage (64% test-to-source ratio)
- Code linting configured (ruff (possible))
- Consistent naming conventions (snake_case)
- Good security practices \u2014 no major issues detected
- Containerized deployment (Docker)
- Properly licensed project
Weaknesses
- 1178 duplicate lines detected \u2014 consider DRY refactoring
- 3 'god files' with >500 LOC need decomposition
Recommendations
- Address 28 TODO/FIXME items \u2014 consider tracking them as issues
Security & Health
11.1h
Tech Debt (B)
High
DORA Rating
A
OWASP (100%)
Source: Repobility analyzer · https://repobility.com
PASS
Quality Gate
A
Risk (1)
Apache-2.0
License
5.9%
Duplication
Languages
Frameworks
pytest
Symbols
method242
variable242
constant173
function108
class91
property24
protocol1
Concepts (9)
| Category | Name | Description | Confidence | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Want this analysis on your repo? https://repobility.com/scan/ | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| auto_description | Project Description | Behavioral Specification Language toolkit: parser, validator, formatter, linter | 80% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| arch_layer | presentation | Detected presentation layer | 70% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| arch_layer | testing | Detected testing layer | 70% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| auto_category | Testing | testing | 70% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| business_logic | Authentication | Detected from 2 related files | 50% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| business_logic | Testing | Detected from 39 related files | 50% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| business_logic | Database | Detected from 3 related files | 50% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| business_logic | File Management | Detected from 2 related files | 50% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| business_logic | Search | Detected from 2 related files | 50% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Repobility · MCP-ready · https://repobility.com
Embed Badge
Add to your README:
BinComp Dependency Hardening
All packages →3 of this repo's dependencies have been scanned for binary hardening. Grade reflects RELRO / stack canary / FORTIFY / PIE coverage.